quasiidentity

Noun

 * 1)  A kind of Horn clause, a generalization of identities.