theorem Th4: :: SIMPLEX0:4

for X being set holds subset-closed_closure_of {X} = bool X