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