Some Properties of Quasi-Uniformity on BCK Algebras

In this paper, we introduce a quasi-uniformity U* that is induced in a natural way on a BCKalgebraX endowed with a topologyτ . We build a quasi-uniformity by U**- Cauchy filters on aBCK-algebra X . Finally, we prove that bicompletions induced by this quasi-uniformity can beconsidered a topological BCK-algebra which contains X as a sub-dense-space.

کلیدواژه ها:

BCK algebra ، quasi uniformity ، filter ، uniform space