for N being non empty reflexive RelStr holds id N is greater_or_equal_to_id