En el diagrama podemos ver el conjunto inicial ( o dominio ) de pinceles P, sobre el que está definida la relación: