{￥rm ri}(S￥times T)={￥rm ri}S￥times{￥rm ri}T

は成立しそうなんだが…、証明が思いつかない。そもそも、相対的内部って扱いにくい。