Is divides a partial order on positive integers? Reflexive yes (a divides a). Antisymmetric yes (mutual division means equal). Transitive yes (chains collapse). So divisibility partially orders numbers.