[...] every rule of referral RR"n",[σ] has a DOMAIN (represented DOMAIN RR"n",[σ]) such that CLASS RR "n",[σ] is a subset of DOMAIN RR"n",[σ].- Stump (2004), a pag.117