Starke Minimalität

Eine Eigenschaft einer definierbaren Menge (oder einer vollständigen Theorie betrachtet in ihrem Grundsort) derart, dass jede definierbare Teilmenge (mit Parametern) entweder endlich oder komplementär endlich ist; äquivalent: die einzigen unendlichen definierbaren Teilmengen stimmen mit der gesamten Grundmenge überein, womit eine kanonische minimale Geometrie entsteht.