Skip to main content
Computer Science

Return to Answer

added 95 characters in body
Source Link
user16034
user16034

$$B_{\text{min}}\le A_{\text{min}}\land B_{\text{max}}\ge A_{\text{max}}$$

should do (with the implicit assumption that the types $A$ and $B$ are appropriate to represent numbers).

$$B_{\text{min}}\le A_{\text{min}}\land B_{\text{max}}\ge A_{\text{max}}$$

should do.

$$B_{\text{min}}\le A_{\text{min}}\land B_{\text{max}}\ge A_{\text{max}}$$

should do (with the implicit assumption that the types $A$ and $B$ are appropriate to represent numbers).

Source Link
user16034
user16034

$$B_{\text{min}}\le A_{\text{min}}\land B_{\text{max}}\ge A_{\text{max}}$$

should do.