In mathematics, a function f : V → W {\displaystyle f:V\to W} between two complex vector spaces is said to be antilinear or conjugate-linear if hold for all vectors x, y ∈ V {\displaystyle x,y\in V} and every complex number s, {\displaystyle s,} where s ¯ {\displaystyle {\overline {s}}} denotes the complex conjugate of s. Wikipedia