Cosa significa $ alpha_r supset beta_r $ nella definizione di tolleranza del sistema z?

Question

Sto leggendo Sistema z introdotto da Judea Pearl (in Sistema Z: un ordine naturale di impostazione predefinita con applicazioni trattabili al ragionamento non monotonico). Una definizione centrale è quella di tolleranza di un sottoinsieme $ r '$ di un set di regole $ r $ per una regola $ r = alpha_r a beta_r $ (indicato da $ t (r vert r') $). La tolleranza di $ r '$ per $ r $ è definita come l'insieme di formule soddisfacenti $$ ( alpha_r land beta_r) bigcup_ {r' in r '} ( alpha_ {r'} supset beta_ {r '}) $$ (vedi pagina 2 dell'articolo di Pearl).

Non capisco cosa dovrebbe significare $ alpha_ {r '} supset beta_ {r'} $. Qualcuno può spiegare?