Transitive increasing event (source code)

= Transitive increasing event

An <increasing event> on a finite product of identically distributed coordinates is transitive if a <group action> preserving the event is transitive on the coordinate set. Its <influences> are all equal. Transitivity concerns coordinates, and does not assert transitivity on successful configurations.