:: deftheorem defines undefined AOFA_A00:def 13 :
for S being non empty non void ManySortedSign
for A being UndefMSAlgebra over S
for s being SortSymbol of S
for a being Element of A,s holds
( a is undefined iff a = the undefined-map of A . s );