Generalized presentations of infinite groups, in particular of $Aut(F_{\omega })$

We develop a theory of generalized presentations of groups. We give generalized presentations of the symmetric group $\mathrm{\Sigma }(X)$ for an arbitrary set $X$ and of the automorphism group of the free group of countable rank, $Aut(F_{\omega })$.