На мерах на частично упорядоченном множестве можно ввести отношение порядка,
означающее существование меры на парах объектов с проекциями, равными сравниваемым
мерам, и по которой первый объект почти наверное больше либо равен второму.
Если в качестве объектов взять бесконечные слова над частично упорядоченным алфавитом
с покоординатным сравнением, то можно спросить, следует ли из вычислимости мер
вычислимость сравнивающей их меры. Ответ на этот вопрос оказывается отрицательный.
В докладе строится пример таких мер.