mathematical property for binary relations