Klukowski Leszek
Tests for relation type - equivalence or tolerance - in a finite set of elements