A cardinalidade de um conjunto A é usualmente denotada |A|, com uma
barra vertical de cada lado; trata-se da mesma notação usada para
valor absoluto, por isso o significado depende do
contexto. A cardinalidade de um conjunto pode ser denotada ainda ou #
A.