e/Maximal intersecting family

Information
has gloss	eng: A maximal intersecting family (MIF) of k-sets (i.e., sets with cardinality k, where k is a natural number) is a family of sets Z satisfying the following:
lexicalization	eng: maximal intersecting family
instance of	e/Family of sets