No resumo está dito que todo intervalo de números possui cardinalidade infinita. Eu fiquei em dúvida com essa afirmação, o que me faz sentido é que todo intervalo é infinito em cardinalidade a não ser que pertença aos naturais ou inteiros, onde eles são finitos. Isso não está correto? 

[x,y] {x,y | x e R, y e R} => cardinalidade infinita.

[x,y] {x,y | x e R-Z, y e R-Z} => cardinalidade finita.

*outra dúvida é: esse simbolo "|" dentro do colchete significa "onde"?