A general principle or rule that is assumed or that has been proven to hold between expressions.

• 定理表达式之间假设或被证明存在的一普通原则或法则