let T be TopSpace; :: thesis: {} T is scattered
{} T is scattered

proof

assume not {} T is scattered ; :: thesis: contradiction
then ex B being Subset of T st
( not B is empty & B c= {} T & B is dense-in-itself ) by Def11;
hence contradiction ; :: thesis: verum

end;

hence {} T is scattered ; :: thesis: verum