As Armstrong observes, any family of sets of this type forms an antimatroid.
Όπως παρατήρησε ο Armstrong, κάθε οικογένεια συνόλων διαμορφώνει ένα αντιματροειδές.