A simple yet useful one: An irreducible complex representation of a compact Lie group is either 'real', 'quaternionic', or 'complex'. That is, it is the complexification of a real irreducible, or it can be considered quaternionic through the existence of a conjugate-linear automorphism $j$ that squares to $-I$, or it is neither.