Kompleksiluku
Kompleksilukujen joukko ℂ on reaalilukujen luonnollinen laajennus. Kompleksiluku "z" on muotoa
Ryhmä (algebra)
Ehto 3. Kompleksilukujen kertolaskun neutraalialkio on 1, ja se kuuluu joukkoon "G". Siispä on 1 · 1 = 1, 1 · (-1) = -1, 1 · i = i ja 1 · (-i) = -i.