Kapittel 17 – Abstraksjon med ekvivalenser og partisjoner / Ekvivalensklasser