For each element x of an antimatroid, there exists a unique maximal feasible set Sx that does not contain x (Sx is the union of all feasible sets not containing x).
Για κάθε στοιχείο x ενός αντιματροειδούς, υπάρχει ένα μοναδικό μέγιστο εφικτό σύνολο Sx το οποίο δεν περιέχει το x (Sx είναι το σύνολο όλων των εφικτών συνόλων τα οποία δεν περιέχουν το x).