Mathematical property for binary relations.