Input (grade 12): A list of order topics collects the various articles in the vicinity of order theory.
Output (grade 11): Given a binary relation it is then possible to put all the elements of the set in a certain order.