theorem :: YELLOW_8:8

for T being non empty TopSpace
for 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;