A structure theorem between strong P - congruence pair and strong P - congruence is given.
给出了强P - 同余对和强P - 同余关系之间的结构定理.
相关词汇
theoremn. [数] 定理，（能证明的）一般原理，公理，定律，法则；
betweenprep. 在…之间，私下，暗中，在…中任择其一，来往于…之间；adv. 当中，中间；
strongadj. 强的，坚强的，强烈的，强壮的；adv. 强劲地，猛烈地，大大地，坚强地；
pairn. 一副，一对男女，套在一起的两匹马，雌雄成对的动物；vt.& vi. （使…）成对，（使…）成
andconj. 和，与，而且，于是，然后，因此；
isvt.& vi. 是（be的三单形式；n. 存在；
givenadj. 指定的，确定的，假设的，假定的，有…倾向的，赠送的；prep. （表示原因）考虑到，（表示假设）倘若，假定；n. 假设；v. 给予，赠送( give的过去分词)；