Дополнение множества в дискретной математике: теории и примеры