Let A and B be two non-empty bounded sets of real numbers. Let C = ab : a ∊A, b∊B). Which of the following statements is true about set C ?
A. C is necessarily unbounded.
B. C is necessarily bounded.
C. C is necessarily infinite.
D. C is necessarily empty.