:: deftheorem Def1 defines ClOpers WAYBEL10:def 1 :
for L being non empty reflexive RelStr
for b₂ being non empty strict full SubRelStr of MonMaps (L,L) holds
( b₂ = ClOpers L iff for f being Function of L,L holds
( f is Element of b₂ iff f is closure ) );