for L being non empty reflexive antisymmetric RelStr
for x being Element of L holds
( waybelow x c= downarrow x & wayabove x c= uparrow x )