En particular, una relación sobre un conjunto formula_1 es un subconjunto formula_26.