T:Type, i:
, j:{i...}, a:[T]Array{i..j
}, k:{i..j}. a[k] 
TT:Type, a:[T]Array , i:{a.l..a.u}. a[i] TT:Type, a:[T]Array . a.l T:Type, a:[T]Array . a.u } == {k:| i 
k < j }m,n:. {m..n} Type| ij }n:. {n...} Type| Some definitions of interest. | |
| array_el | |
| T:Type, i:, j:{i...}, a:[T]Array{i..j}, k:{i..j}. a[k] T | |
| T:Type, a:[T]Array , i:{a.l..a.u}. a[i] T | |
| array_lb | |
| T:Type, a:[T]Array . a.l | |
| array_ub | |
| T:Type, a:[T]Array . a.u | |
| int_seg | } == {k:| i k < j } |
| m,n:. {m..n} Type | |
| int_upper | | ij } |
| n:. {n...} Type |
About:
 |  |  |  |  |  |  |