Some lemmas about binary relations; make clean.