Является ли отношение линейного порядка асимметричным и транзитивным?
=======================================================================

 В определении указывается, что отношение линейного порядка - это отношение частичного порядка и xPy либо yPx.   

Но ведь "xPy либо yPx" является определением асимметричного порядка, оно не допускает случая x = y.   

Значит, отношение линейного порядка асимметричным и транзитивным, но не рефлексивным? 

[отношение порядка](https://ru.wikipedia.org/wiki/%D0%9E%D1%82%D0%BD%D0%BE%D1%88%D0%B5%D0%BD%D0%B8%D0%B5_%D0%BF%D0%BE%D1%80%D1%8F%D0%B4%D0%BA%D0%B0) бывает строгим и нестрогим, от этого зависят его свойства. 

 Линейный порядок характеризуется тем, что для него любая пара элементов сравнима.  

  

Для примера: на множестве натуральных чисел N обычное отношение <= является линейным порядком (для любой пары натуральных чисел m, n имеет место хотя бы одно из условий: m<=n или n<=m). Теперь возьмём множество-степень множества {1, 2} (множество всех подмножеств данного множества), с отношением включения. Этот порядок не является линейным: {1} не является подмножеством {2}, {2} не является подмножеством {1}.