(1) Institut Telecom, Telecom Bretagne, Brest, France;(2) FST de l’Université de Nantes, 2, rue de la Houssinière, BP 92208, 44322 Nantes Cedex 3, France
Abstract:
We introduce an inductive definition for two classes of orders. By simple proofs, we show that one corresponds to the interval orders class and that the other is exactly the semiorders class.