{r1,r2} = {r1} \/ {r2} ;
hence for b₁ being RuleSet of S st b₁ = {r1,r2} holds
b₁ is isotone ; :: thesis: verum