Hüperonüümid:
korpus 3(n)
kompleksarvude korpus 1(n)

C on minimaalne korpus, mis sisaldab reaalarvude korpust ja milles võrrand x 2 + 1 = 0 on lahenduv