内部積《contractionとも言う》($\vert$)