More precisely, a class C is extensional if and only if for any class C', if C' has exactly the same members as C, then C and C' are identical.
Točnije,klasa C je ekstenzionalna ako i samo ako za klasu C ako „C“ ima točno iste članove kao C. Tada su C i „C“ identični.