The family must include the empty set.
Η οικογένεια πρέπει να περιέχει το κενό σύνολο.