Definition, synonyms and related words
A family of order k of sets, such that any minimal subfamily with an empty intersection has k or fewer sets in it.