thus ( id X is reflexive & id X is transitive & id X is reflexive & id X is transitive & id X is antisymmetric ) ; :: according to ORDERS_1:def 3,ORDERS_1:def 4 :: thesis: verum