>>473
X-Y=X∩Y^cって定理かなんかですか?