Равноценная численность

• Множество равночисленно другому множеству, если они имеют одинаковое количество элементов. 
• Равночисленность обладает свойствами отношения эквивалентности. 
• Теорема Кантора утверждает, что ни одно множество не равно своему множеству степеней. 
• Мощность множества определяется как мера количества элементов множества. 
• Равночисленность совместима с базовыми операциями с множествами, что позволяет определить кардинальную арифметику. 
• Категория множеств в теории категорий состоит из совокупности всех множеств и функций между ними. 
• В множестве изоморфизм между двумя множествами является биекцией, и два множества равночисленны, если они изоморфны как объекты в множестве.