The divisor of relation signified by is a dyadic relation on the set of positive integers and thus may be understood as a subset of the cartesian product It is an example of a partial order, while the less than or equal to relation signified by is an example of a total order relation.
The mathematics of relations can be applied most felicitously to semiotics but there we must bump the adicity or arity up to three. We take any sign relation to be subset of a cartesian product where is the set of objects under consideration in a given discussion, is the set of signs, and is the set of interpretant signs involved in the same discussion.
One thing we need to understand is the sign relation relevant to a given level of discussion may be rather more abstract than what we would call a sign process proper, that is, a structure extended through a dimension of time. Indeed, many of the most powerful sign relations generate sign processes through iteration or recursion or similar operations. In that event, the most penetrating analysis of the sign process or semiosis in view is achieved through grasping the generative sign relation at its core.