Complemental Binary Operations of Sets and Their Application to Group Theory | Synapse