for O being non empty OrthoRelStr st O is StrictPartialOrdered holds
O is irreflexive