for R being non empty RelStr
for x, y being Element of R holds
( y in (uparrow x) ` iff not x <= y )