fkn+antitotal

опция компиляции С++ в VS

 /clr:safe

Создает проверяемый выходной файл только на языке MSIL (без исполняемого машинного кода). /clr:safe включает проверочную диагностику
подробнее смотрите: http://msdn.microsoft.com/ru-ru/library/...

Среда разработки Visual C++ .NET , поставляемая в составе Visual Studio, позволяет разрабатывать приложения как на Managed C++, так и на обычном (unmanaged) C++ - то есть исполняемый непосредственно процессором.

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)