Boolean Group

Symmetric

$\textbf{Symmetric} \; A \; \otimes$

---

$\textbf{BooleanGroup} \; A \; \otimes \; E$

---

sig A {
  , f: A->A
}

sig E in A {}

check {
  { BooleanGroup[A,f,E]
  } implies {
    Symmetric[A,f]
  }
} for 10