for T being set holds {} is empty Subset-Family of T