In the text below the first diagram, shouldn't

All the rules obeyed by "subset", "and" and "or" become rules obeyed by "implies", "and" and "or".

be

All the rules obeyed by "subset", "intersection" and "union" become rules obeyed by "implies", "and" and "or".