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