Occorre provare che una generica famiglia si può mettere in corrispondenza biunivoca con un insieme di cardinalità . Usare il teorema di teoria degli insiemi che dice che se è un insieme arbitrario e allora .