The identities of — and unique subdirect factorization within — classes of universal algebras