for X being BCI-algebra holds
( X is quasi-associative iff for x being Element of X holds x ` <= x )