Для формализации фактов в системном анализе (как и в математике, информатике и других науках) используется понятия "отношение" и "алгебраическая структура".
Отношение r, определенное над элементами заданного множества Х, - это некоторое правило, по которому каждый элемент х
Пример. Рассмотрим классическую схему ЭВМ из устройств: 1 - ввода, 2 - логико-арифметическое, 3 - управления, 4 - запоминающее, 5 - вывода. Отношение "информационный обмен" определим так: устройство i находится в отношении r с устройством j, если из устройства i в устройство j поступает информация. Тогда можно это отношение определить матрицей R отношений (наличие r на пересечении строки i и столбца j свидетельствует о том, что устройство i находится в этом отношении с устройством j, а наличие
Отношение, задаваемое фразой "для каждого х
Композиция (произведение) r=r1o r2. отношений r1 и r2, заданных над одним и тем же множеством Х, - это третье отношение r, определяемое правилом:
Отношение r называется отношением 1) тождества; 2) рефлексивным; 3) mpанзитивным; 4) симметричным; 5) обратным к отношению s, если, выполнены, соответственно, условия