
theorem
  for T being non empty TopSpace, A,B being Subset of T st B c= A & A is
closed & (for C being Subset of T st B c= C & C is closed holds A c= C) holds A
  = Cl B
by PRE_TOPC:18,TOPS_1:5;
