a < b < c \qquad a,b,c \in \textbf{N}