:: deftheorem Def14 defines integer-array AOFA_A01:def 14 :
for S being non empty non void 1-1-connectives bool-correct 4,1 integer 11,1,1 -array 11 array-correct BoolSignature
for A being non-empty MSAlgebra over S holds
( A is integer-array iff ex C being image of A st C is bool-correct 4,1 integer 11,1,1 -array MSAlgebra over S );