Almost structural completeness, equationally definable principal relative congruences, finite model property, quasivarieties.
