Spaces with congruence. - Alexander Kreuzer; Kay Sörensen (Discret. Math., 2008)