Помогите, пожалуйста)))) Не понимаю, как здесь должны быть предикаты вставлены...

данном частично упорядоченном множестве всякий минимальный элемент является максимальным. В нем не существует наименьшего элемента, являющегося одновременно максимальным. Неверно, что любой минимальный элемент является наименьшим. Следовательно, в данном частично упорядоченном множестве существует наименьший элемент, являющийся минимальным.