setoid

Setoidler, üzerinde "eşitlik" işlemi yapılabilen değerlerin bulunduğu tiplerdir. Setoidlerin şu 3 koşulu sağlaması gerekir: