cokernel of a *-congruence and investigate a certain type of filter ... When / is a *-epimorphism the induced residuated mapping f~£ is surjective and so is.
確定! 回上一頁