Assertion: set's number | /r/HasProperty | inf b
Facets:
Source sentences:
text: If A, B are nonempty sets of positive real numbers then inf AB = inf A · inf B; similarly for suprema.