En una demostración biyectiva dos conjuntos se ponen en correspondencia uno a uno, es decir, exhibiendo una función biyectiva entre los dos conjuntos. La existencia de una biyección demustra que los dos conjuntos tienen la misma cardinalidad (tienen el mismo número de elementos). Establecer una biyección entre dos conjuntos es, de hecho, una técnica de demostración en combinatoria.
