集合A,Bがあり、任意の元x\in A\Rightarrow x\in Bとなるもの

このとき、A\subset Bとかく