Existence of Complementary Subspaces over a Field \(F\): If \(F\) is a field, then every vector space \(V\) over \(F\) has the property that if \(S\subseteq V\) is a subspace of \(V\), then there is a subspace \(S'\subseteq V\) such that \(S\cap S'= \{0\}\) and \(S\cup S'\) generates \(V\). H. Rubin/J. Rubin [1985], pp 119ff, and Jech [1973b], p 148 prob 10.4.

\(MC(\infty,\infty,\mathrm{odd})\): For every set \(X\) of  sets such that for all \(x\in X\), \(|x|\ge 1\), there is a function \(f\) such that  for every \(x\in X\), \(f(x)\) is a finite, non-empty subset of \(x\) and \(|f(x)|\) is odd.

  \(C(\infty ,2)\):  Every family of pairs has a choice function.

If \({\cal L}\)  is  a  lattice  isomorphic  to the  lattice  of subalgebras of some unary universal algebra (a unary universal algebra is one with only unary or nullary operations) and \(\alpha \) is an automorphism of \({\cal L}\) of order 2 (that is, \(\alpha ^{2}\)  is  the  identity) then there is a unary algebra \(\frak A\)  and an isomorphism \(\rho \) from \({\cal L}\) onto the lattice of subalgebras of \(\frak A^{2}\) with \[\rho(\alpha(x))=(\rho(x))^{-1} (= \{(s,t) : (t,s)\in\rho(x)\})\] for all \(x\in  {\cal L}\).