theorem Th10: :: WAYBEL10:10

for L being non empty reflexive RelStr
for x being set holds
( x is Element of (ClOpers L) iff x is closure Function of L,L ) by YELLOW_0:58, Def1, Th9;