を満たすの元と同一視される(直観的には、に関して線型な写像がに関して線型な値を持つというのは、とに関して双線型な写像を考えるのと同じであるということ)。