type halmaz_azonosito = set of alaptípus;