:: deftheorem defines MaxADSet TEX_4:def 15 :
for X being non empty TopSpace
for x being Point of X holds MaxADSet x = (Cl {x}) /\ (meet { G where G is Subset of X : ( G is open & x in G ) } );