:: deftheorem defines ## BAGORD_2:def 2 :
for R being RelStr
for x, y being Element of R holds
( x ## y iff ( not x <= y & not y <= x ) );