for L being non empty reflexive RelStr
for c being closure Function of L,L
for x being Element of L holds c . x >= x