Then the factor algebra A = C(X)/P is by definition an integral domain which is a real algebra and which can be seen to be totally ordered.
Тогда факторкольцо A = C (X) / P, является, по определению, действительной алгеброй и может быть рассмотрена как линейно упорядоченное множество.