for A being RelStr holds
( A is with_suprema iff A ~ is with_infima )