сайт о программировании

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

a <= b

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

b <= a 

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

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

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

a = b

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

b = a

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

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

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

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

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

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

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

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

Возьмём у нас есть два частично упорядоченных множества. Будем отображать одно в другое.

Отображение f сохраняет порядок если из справедливости

а <= b

для образов следует справедливость:

f(а) <= f(b)

для прообразов.

error C3389: __declspec(dllexport) cannot be used with /clr:pure or /clr:safe

ошибка говорит о несовместимости опций компилятора и директивы экспортируемой функции.
у меня она появилась при попытке привязать dll С++ проекту

Есть такая инструкция

цитата:

To illustrate: the new C++ compiler has an option /cli:safe. But in
order to be "safe", you have to give up pointers. Adding #include
to your program causes errors such as:

error C4956: 'char *' : this type is not verifiable

здесь сказано что опция компилятора /cli:safe принуждает отказаться от использования указателей