Wɔ lë bukku urupde N wɛl kennë urupde nambaï n bukku këcɔl Vn yuu, ku cukku bï kuany gɛr urup piɛth bennë këye cɔl cardknality yuu cir n, ku kan aye luɛl ɛɛ tɔ agutë isomorphism.