Notes on binary relations / binary operations