In mathematics, a mapping from a complex vector space to another is said to be antilinear (or conjugate-linear or semilinear, though the latter term is more general) if
for all and all , where and are the complex conjugates of and respectively. The composition of two antilinear maps is complex-linear.