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