for a, b being Ordinal
for A being array st dom A = a \ b & not A is empty holds
( base- A = b & limit- A = a )