>>16
空集合は開集合?閉集合どっち?