Мощность конечного множества: основные понятия