Guida al Corso di Elettrotecnica

Theorem 4.13 In any structure, an object of type a belongs to one and only one irreducible relation of type hai; the set of irreducible relations of any type of order ≥ 1 is