surjunctive group noun1 •A group such that every injective cellular automaton with the group elements as its cells is also surjective.We prove that pre-injective, post-surjective cellular automata over surjunctive groups are reversible. — 2015 formssurjunctive groups
