Fixed a typo in the documentation for ⊂