:: deftheorem defines the_array_sort_of AOFA_A00:def 54 :
for S being non empty non void 11,1,1 -array BoolSignature holds the_array_sort_of S = the ResultSort of S . ( the connectives of S . 12);