F = {x | x ∈ A and (x ∈ B =⇒ x ∈ C)} 이걸 집합 기호로 나타내면 A-(B-C)가 된다는데 그 이유가 먼가요..