Equivariant 
Let us assume that the symmetries defined in Eq. (2) form a closed algebra.
It is parametrized by We have the following Cartan form:
This is always true to the first order in
and
. For this to be true to all orders in
and
, we need: