The relation defined by is factor of
on is not
For , a is a factor of a so R is reflexive.
If a is factor and b is factor of then a is factor of so R is
transitive. If is factor of and b is factor of then so
is anti symmetric, is factor of 4 but is not a factor of .