We thus have a disjoint decomposition P2(R) = R2 ⊔ R1 ⊔ point.
Máme tak disjunktný rozklad P2(R3) = R2 ⊔ R1 ⊔ bod.