a,b,c:
. imin(a;imin(b;c)) = imin(imin(a;b);c)a,b:. -imin(a;b) = imax(-a;-b)a,b,c:. imax(a;imax(b;c)) = imax(imax(a;b);c)| Theorem | Name |
| a,b,c:. imin(a;imin(b;c)) = imin(imin(a;b);c) | [imin_assoc] |
| cites the following: | |
| a,b:. -imin(a;b) = imax(-a;-b) | [minus_imin] |
| a,b,c:. imax(a;imax(b;c)) = imax(imax(a;b);c) | [imax_assoc] |