#algebra 

> Если [[Множество|множество]] $\LARGE A$ [[Мощность множества|равномощно]] части множества $\LARGE B$, а $\LARGE B$ равномощно части $\LARGE A$, то $\LARGE A$ и $\LARGE B$ равномощны.

Пример использования:
Интервал $\LARGE (0,1)$ равномощен отрезку $\LARGE [0,1]$ 
$\LARGE \mathbb{Q}$ счетно ($\LARGE \mathbb{N}$ равномощно части $\LARGE \mathbb{Q}$, часть $\LARGE \mathbb{Q}$ равномощно $\LARGE \mathbb{N}$)