surjunctive group

Noun

 * 1)  A  such that every   with the group elements as its cells is also.