self-taught
= quantificatore universale, “per ogni”
= esiste, “vi è”
= A è sottoinsieme di B