примеры программного кода

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

 /clr:safe

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

Среда разработки 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 

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

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

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

a = b

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

b = a

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

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