がすべての "x" ∈ b1および "y" ∈ b2*に対して成り立つような作用素のことを言う。