Assertion: positive real 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.