:: deftheorem Def27 defines ECIW-strict AOFA_000:def 27 :
for A being non empty partial non-empty UAStr holds
( A is ECIW-strict iff signature A = ECIW-signature );