Теорема о конечных множествах: основные понятия