Quasi-identity
https://ift.tt/eA8V8J
In universal algebra, a quasi-identity is an implication of the form. s1 = t1 ∧ … ∧ sn = tn → s = t. where s1, ..., sn, s and t1, ..., tn,t are terms built up ...
from Algebra
In universal algebra, a quasi-identity is an implication of the form. s1 = t1 ∧ … ∧ sn = tn → s = t. where s1, ..., sn, s and t1, ..., tn,t are terms built up ...
from Algebra