bilinear map

from two vector spaces to a third one