Here the order relation on the elements of A is inherited from P; for this reason, reflexivity and transitivity need not be required explicitly.
Здесь отношение порядка на элементах из A наследуется от P; поэтому рефлексивность и транзитивность не требуются в явном виде.