The equation 2x+4=8 has the solution x=2 in every number system listed
above. The equation 2x+4=−8 first becomes solvable in Z, where
x=−6, while 2x+4=7 first becomes solvable in Q, where
x=3/2. The equation 2x2+4=7 has real solutions
x=±3/2, which are irrational, whereas
2x2+4=3⟹x=±2i
requires C.
A solution in one system also belongs to every larger system in the chain,
so each comparison identifies the smallest system that contains the
solution.