astratta e comprensiva di nozioni quali l'applicazionefra due insiemi, l'omomorfismo fra due insiemi