On the attached picture there is a symbol that I do not understand. To understand additive functional dependency, I need to know what a symbol means. Please advice?

This is the symbol where he says: "Suppose that X ⊇ Y and that ..."
⊇ =?
Thank!
source
share