for O being non empty RelStr st O is asymmetric holds
O is irreflexive ;