A strict ordering relation denoting "much less than" or triple less-than in advanced analysis and order theory.
