An antimatroid can be defined as a finite family F of sets, called feasible sets, with the following two properties: The union of any two feasible sets is also feasible.
Ένα αντιματροειδές μπορεί να ορισθεί ως μία πεπερασμένη οικογένεια F συνόλων, που αποκαλούνται εφικτά σύνολα, με τις δύο ακόλουθες ιδιότητες: Η ένωση δύο οποιωνδήποτε εφικτών συνόλων είναι επίσης εφικτό σύνολο.