Seja a relação R constituída de n atributos denominados de A1 , A2, A3 , ..., An. 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(A1 )| x |dom(A2 )| x |dom(A3 )| ... |dom(An )|, representa: