A mapping f (x,y ) from E × F into R, where R is a commutative ring with an automorphism with period 2 and E × F is the cartesian product of two modules E and F over R, such that for each x in E the function which takes y into f (x,y ) is antilinear, and for each y in F the function which takes x into f (x,y ) is linear.