The planets in the solar system as set G

The planets in the solar system as set G.

Since Pluto was removed as a planet, we have the following set G with 8 elements:

G = {Mercury, Venus, Earth, Mars, Jupiter, Saturn, Uranus, Neptune}