Find the smallest set!
Consider the set R of all rationals with odd denominators in their lowest form, all elements r of the set R is such that it can be represented as r = p + q where p and q are non zero elements of a set S which itself is a subset of R.
Thus the set S contains all values of p and q which are required to satisfy r=p+q.
Now since S is defined on the basis of a criteria of inclusion, there could be more than one set which satisfy the criteria for S.
Let the set of all elements in R which have an odd numerator be RO and the set of all elements in R which have an even numerator be RE.
Let SO = S intersection RO and SE = S intersection RE. If any element is in S then double that must also be in S. And If an element is in SE then half that must also be in S.
What is the smallest such set S, both in terms of inclusion and cardinality?