for T being non empty 1-sorted
for F being Subset-Family of T st F is Cover of T holds
F <> {}