16.2. Transitivity relations On projection-type between the bases. Lemma

Prev Next