:: deftheorem defines quasi-associative BCIALG_1:def 21 :
for IT being BCI-algebra holds
( IT is quasi-associative iff for x being Element of IT holds (x `) ` = x ` );