By definition  `a|b`  if and only if `b=an,` `n in ZZ`.

A relation `circ` is transitive if `(a circ b ^^b circ c)=>(a circ c)`. So we need to prove that if `a|b` and `b|c` then `a|c`.

If `a|b` then `b=an`

If `b|c`  then `c= bm=anm`

Since `m` and `n` are integers then `mn` is also integer which means that `a|b.`

Let `a,b>0` and `a|b`.

Since `a|b` it follows that `b=an` for some integer `n` and since `b` is positive `an` must be positive and since `a` is positive `n` must be positive as well. So `n >=1`. If `n=1` then `a=b`.

If `n>1` then `a=b/n` and since both `b` and `n` are positive `b/n<b`.

Hence `a<=b`