单的非负有序关联半群
단적비부유서관련반군
Simple negatively ordered implicative semigroups