Then we will study all cases beginning with the quotient set (P, V, Dr, Dd).
Then we compute the cardinality of the different quotient sets.
4 The quotient sets (P [union] V [union] Dd, Dr) and (P [union] V [union] Dr, Dd)
5 The quotient sets (P, Dr [union] V [union] Dd) and (V, Dr [union] P [union] Dd)
6 The quotient sets (P, Dr, V [union] Dd), (P, Dd, V [union] Dr), (P [union] Dd, V, Dr) and (P [union] Dr, V, Dd)
With the involutions consisting in reading from right to left or reversing dotted and not dotted horizontal steps, these four quotient sets are in bijection.
The set c/~ of all equivalence classes [x] of c is called the quotient set derived from c.
p is the projection of the magnitude set c onto its quotient set c/~.
5) and suppose c/~ is the quotient set factored from c, using the equivalence relation ~.
and in the quotient set c / ~ in such a way that the numeric sturucture in [r.