I am reading about the wiki page of material conditional (a.k.a logical implication).
In the diagram in that page (which is also pasted here), it draws an Venne Diagram of the truth function of $ A \implies B $
In the text explanation (in 2nd paragraph), it says $\ P \implies Q $ can be symbolized using set theory: $ P \supset Q $
Question: The Diagram explanation and text explanation is conflicting. It seems in the diagram, A is not a superset of B. What is the correct way to understand it?