Imaginary

the set of imaginary numbers

see math notation, imaginary unit

definition (CC /\ +RR) x == x = bii /\ RR b

properties

(CC /\ +RR) < CC

CC /\ +RR \/ RR == CC