Complex numbers/Complex conjugation/Definition