Взаимодействие между классом (множеством) и подклассом (подмножеством) называется отношением включения и выражается при помощи знака ⊂: А ⊂ В, что можно прочитать как «А является подклассом В».