Конечные множества: определения и свойства