Finite Basis for Fragments of Tarski's Relation Algebra Preserving Functions and Homomorphisms
The homomorphism-safe fragment of Tarski's relation algebra is finitely generated, but the function-preserving and total-function-preserving fragments are not finitely generated. The forward function-preserving and local injective-function-preserving fragments are finitely generated.