A set theoretic version of equations on groups | Synapse