Como ejemplo de este argumento, se puede considerar el conjunto de los árboles binarios.