空集合はある集合の部分集合になるか？