It follows immediately from this (although it can also be proven directly) that any nonempty restriction of a series-parallel partial order is itself a series-parallel partial order.
Отсюда немедленно следует (хотя это можно доказать и непосредственно), что любое непустое сужение последовательно-параллельного частичного порядка является само по себе последовательно-параллельным частичным порядком.