fkn+antitotal

Common Language Runtime (англ. CLR — общеязыковая исполняющая среда) — виртуальная машина, интерпретирующая и исполняющая код на языке CIL, в который компилируются программы, написанные, в частности, на .NET-совместимых языках программирования (C#, Managed C++, Visual Basic .NET, Visual J# и т. п.); компонент пакета Microsoft .NET Framework.

Несравнимые элементы - Такие элементы в частично упорядоченном множестве, которые не состоят в отношении частичной упорядоченности,
то есть -нельзя сказать, что справедливо

a <= b

а также нельзя сказать, что справедливо:

b <= a 

Про два изоморфных частично упорядоченных множества говорят, что они имеют один порядковый тип.
то есть -
Порядковый тип - то общее, что присуще любым двум изоморфным частично упорядоченным множествам.

Отношение эквивалентности - это бинарное отношение, которое:

1. симметрично
2. транзитивно
3. рефлексивно

Отношение эквивалентности разбивает любое множество на непересекающиеся классы, то есть - если элемент принадлежит одному классу, то он не может принадлежать другому классу.

Симметричное отношение - такое бинарное отношение, в котором порядок следования элементов значения не имеет.

Например отношение "=" (равно):
То есть:

a = b

то же самое, что:

b = a

Сравните например с отношением типа "больше".

Рефлексивное отношение - такое отношение, справедливость которого не зависит от порядка следования элементов.

Чтобы Отображение f было изоморфизмом для двух частично упорядоченных множеств - оно должно:

1. сохранять порядок
2. быть биективным (взаимно однозначным)

Отображение, одного множества 1 на в другое, при котором образ множества "меньше", чем то множество, где он содержится.

Отображение f множества М в множество N имеет место , когда:

f(M) содержится в  N

- то есть когда не каждому элементу N соответствует что-то из М (не у каждого элемента из N есть прообраз в M)

Отображение f множества М на множество N имеет место , когда:

f(M) = N

- то есть когда каждому элементу $N$ соответствует некий элемент из $М$ (у каждого элемента из N есть прообраз в M)

ВНИМАНИЕ: используйте эту статью: http://fkn.ktu10.com/?q=node/6466 для определения отображения, образа и прообраза.

Отображение