Discrete-math 14 Image (partial Image) definition Inverse Image definition Example Partial and Inverse Image properties theorem Finite set definition Functions on finite sets lemma Combinatorics Addition rule