Элементы математической логики. Отношения
Унарные отношения Отношения – один из способов задания взаимосвязей между элементами множества. Унарные (одноместные) отношения отражают наличие какого-то определенного признака R у элементов множества М. Пример. М – множество студентов гр.08АСУ; R – «быть светловолосым» R={Гуничев, Хомутинникова, Смирнов, Федотова, Баранов} Унарным отношением R на множестве М называется подмножество R множества М, состоящее из элементов множества М, обладающих свойством R, т.е. а ∈R и R⊆М. Бинарные (двухместные отношения) используются для определения каких-либо взаимосвязей, которыми характеризуются пары элементов во множестве М. Например, М-множество людей, отношение R- «жить в одном городе», R = {(Иванов, Сидоров), (Смит, Джонсон), …} Все пары (a,b) элементов из М, между которыми имеет место отношение R, образуют подмножество пар из множества всех возможных пар элементов М × М = М2, называемое бинарным отношением R, т.е. (a,b)∈R, при этом R⊆ М × М. Бинарные отношения Если а и b находятся в отношении R, то это часто записывают как а R b.