There is NO THEORY, but there are signs:
= for equal sets
c for subsets
c for proper subsets
~ for equivalent sets
{ } for empty/null sets
U for universal sets