Check all properties that the following relations on the set of positive integers have