let T be set ; :: thesis: {} is empty Subset-Family of T
consider F being empty Subset-Family of T;
F = {} ;
hence {} is empty Subset-Family of T ; :: thesis: verum