theorem Th10: :: MYCIELSK:10

for R being RelStr
for C being Coloring of R
for S being Subset of R holds C | S is Coloring of (subrelstr S)