No definitions found for 'binary relations' Perhaps one of these: binary arithmetic operation, binary arithmetic