équivalence

La notion d’équivalence noté $\equiv$ correspond essentiellement à la notion moderne d’homotopie.