。 组合各性质，可得出这还适用于作为预序和作为等价关系情况。但是如果 "R" 和 "S" 是完全关系，"T" 一般不是。
度量和范数.在度量空间的笛卡尔积上的度量，和在赋范向量空间的直积上的范数，可以用各种方式定义，例子请参见p-范数。