A relational symbol representing a much less than relationship between three ordered quantities in analysis and set theory.