Re: Helmut Raulien

Right, the “divisor of” relation signified by is a dyadic relation on the set of positive integers so it can be understood as a subset of the cartesian product It is an example of a partial order, whereas the “less than or equal to” relation signified by is an example of a total order relation. 176 more words