Eine einheitliche Matrizendarstellung von Äquivalenzrelationen, Halbordnungsrelationen, Ordnungsrelationen und Metriken.