ist funktional vollständig.
Und da man + Rechenoperation auch durch eine Kombination ersetzen kann, folgt:
und sind funktional vollständig.