Kapittel 17 – Abstraksjon med ekvivalenser og partisjoner / Sammenhengen mellom ekvivalensklasser og partisjoner