久しぶりに部分集合の記号を調べてしまいました。
http://ja.wikipedia.org/wiki/%E9%9B%86%E5%90%88%E9%96%93%E3%81%AE%E9%96%A2%E4%BF%82%E3%82%92%E8%A1%A8%E3%81%99%E8%A8%98%E5%8F%B7