for X being set holds {{}} is Subset-Family of X