Every field \(F\) and every vector space \(V\) over \(F\) has the property that each linearly independent set \(A\subseteq V\) can be extended to a basis. H.Rubin/J.~Rubin [1985], pp 119ff.

\((\forall n\in\omega - \{0\}) MC(\infty,\infty \), relatively prime to \(n\)): \(\forall n\in\omega -\{0\}\), if \(X\) is a set of non-empty sets, then  there  is  a function \(f\) such that for all \(x\in X\), \(f(x)\) is a non-empty, finite subset of \(x\) and \(|f(x)|\) is relatively prime to \(n\).

\((\forall n\in\omega, n\ge 2\))\((C(\infty,n))\): For each \(n\in\omega\), \(n\ge 2\), every set of \(n\) element  sets has a choice function.

  \(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}\).

For every cardinal \(m\), there is a set \(A\) such that \(2^{|A|^2}\ge m\) and there is a choice function on the collection of 2-element subsets of \(A\).