Графы и частично упорядоченные множества

Частично упорядоченное множество - один из типов бинарного отношения.Где a, b и c - произвольные элементы частично упорядоченного множества X.Самым общим из этих типов является граф.Множество пар E, сформированное из множества V вершин, является примером бинарного отношения.Каждая дуга графа представлена начальной и конечной вершинами.Циклом в графе называется такой путь, когда его начальная и конечная вершина совпадают.Одним из основных в теории графов является понятие достижимости.Любое бинарное отношение можно представить как граф.Из которого сформировано некоторое множество пар.Обе эти структуры являются частными случаями бинарных отношений.