空集合の定義