Para ver la primera inclusión, sea "x" ∈ [0, 1] y sea "v" el único elemento de ["x"] ∩ "V"; "x" − "v" es entonces un racional que necesariamente ha de estar entre −1 y 1, por ejemplo "q", y por lo tanto "x" ∈ "V".