El siguiente teorema proporciona formulaciones equivalentes en términos de una función biyectiva o sobreyectiva.