Ordering by divisibility
Task number: 4149
Consider the relation ''\(x\) is a divisor of the number \(y\)'' on the set \(\{1,\ldots,n\}\).
Variant
Prove that the relation is a (weak) order
Variant
Does this order have a largest and smallest element?
Variant
Does this order have a minimum and maximum element?
Variant
What in this order corresponds to an infimum and a supremum of a nonempty subset?