Die Anzahl der nichtleeren Beziehungen von A nach B ist die Anzahl der geordneten Paare (a, b), so dass a ∈ A und b ∈ B, und alle davon sind eine Teilmenge von A × B, mit Ausnahme der Teilmenge ϕ von A×B . Und wird durch NNon Empty Relations gekennzeichnet.