Denition 2.3 Supposing < X; ; 0 > is a limited BCI-algebra, 2 X,
() = jXj is named as the ordering number of .
It's easy to notice that the ordering number of is actually the number of
the elements which are "smaller" than .
And we could denite the rst kind of equivalence.