Insieme completo
Per i nostri scopi possiamo ammettere questa definizione: un insieme si dice completo quando i suoi elementi ricoprono tutta la retta dei numeri, o meglio i suoi elementi sono in corrispondenza biunivoca con i punti della retta.
Come sappiamo $Q$ non è completo, mentre lo è $R$.
Una definizione un po' più rigorosa può essere espressa dicendo che tutte le classi contigue di numeri costruite con gli elementi di quell'insieme ammettono come elemento separatore un numero sempre appartenente all'insieme dato.