论文部分内容阅读
本文对(?)乙合同之间“≥”关系的规定同于〔(?)〕,格乙的合同全体按“≥”关系构成的格中最大元,即乙的任二元都成合同的合同,这个最走元为ī,中也有最小,即任一合同类只含乙中一个元的合同,这个置小元记做ō,并且在乙按合同θ的合同的格乙/θ中把乙的元α所属的格同类记为α β,并把α→α θ称为乙/θ上的自然同态。