Seja a relação R constituída de n atributos denominados de A₁ , A₂, A₃ , ..., A_n. O domínio de um atributo A qualquer uma dessa relação defini-se por dom(A). A indicação do número total de valores, ou cardinalidade, em um domínio de um atributo A qualquer é |dom(A)|, considerando que todos os domínios são finitos. O produto de cardinalidades de todos os domínios, definido da seguinte forma |dom(A₁ )| x |dom(A₂ )| x |dom(A₃ )| ... |dom(A_n )|, representa: