The Knaster-Tarski theorem states that the set of fixed points of a monotone function on a complete lattice forms a complete sublattice.
In group theory, the set of fixed points of an automorphism of a group forms a subgroup, called the fixpoint subgroup.
Are these both instances of some more general theorem about equational theories?