Equivalently F is conservative iff for any set X, Y we have F (X)(Y ) = F (X)(X ∩ Y ).
indeed it is easy to show that if D is intersective then D(S)(P ) is equivalent to D(S 1 )(S ∩ P ) for any S 1 such that S ⊆ S 1 .