let T be set ; :: thesis: {} is empty Subset-Family of T
{} (bool T) = {} ;
hence {} is empty Subset-Family of T ; :: thesis: verum