How to prove an element does not belong to an inductive_set

Question

Assuming I have already defined an inductive_set, for example, the inductive set "Even" such that:

inductive_set Even :: "int set" 
  where  Z