Pudem ancamò sostituì l’insema N cun un numer cardial n per utegn Vn, anca se senza fà una scernida de un sistema standard specific cun cardinalità n. chest l’è definì sultant fin a l’isomorfismo.