Понятие, распространяющее на случай двух, вообще говоря, различных множеств или однотипных математич. структур понятие бинарного отношения. С. широко используют в математике, а также в различных прикладных областях: теоретич. программировании, теории графов, теории систем, математич. лингвистике и т. д. м между множествами Аи Вназ. любое подмножество Rдекартова произведения Другими словами, С. между Аи Всостоит из нек-рых упорядоченных пар ( а, b), где Как правило, С. обозначают тройкой (R, А, В )и, наряду с записью пишут также aRb или R (а, b). Иногда вместо лсоответствие