est un rejet à partir du tableau fixé à l'ensemble et le corollaire implique qu'il est tolérable.
Si vous pouvez compter les choses dans un ensemble, il s'agit d'un jeu de table, un ensemble avec une chose est comptable, ainsi qu'un ensemble avec une centaine de choses.