Es gibt minimale Elemente in A, nämlich die einelementigen Teilmengen. Ist {a} eine einelementige Teilmenge von A, dann ist nämlich x⊄{a} fü jedes x∈X mit |x| > 1.
Mehrelementige Teilmengen sind nicht minimal. Ist zum Beispiel {a, b, ...} ∈ X mit a≠b, dann ist {a} ein kleineres Element in X.
Ein kleinstes Element gibt es nur, wenn |A| = 1 ist. Ist zum Beispiel {a, b, ...} ∈ X mit a≠b, dann sind sowohl {a}, als auch {b} minimale Elemente, aber weder {a}≤{b}, noch {b}≤{a}.