Die Anzahl der nicht leeren echten Teilmengen ist die Gesamtzahl der Teilmengen, die für eine bestimmte Menge möglich sind. Jede Teilmenge enthält mindestens ein Element, ist jedoch nicht gleich der übergeordneten Menge. Und wird durch NNon Empty Proper gekennzeichnet.