Donde: si "R" y "S" son descripciones de rol (atómico) también lo son: