Právě zde jsou pouze podskupiny taková, že obě a jsou triviální, takže volání těchto podskupin Trival od nynějška také.
Now there are only subsets such that both and are trivial, so call these subsets trival from now on too.