An I-map (independence map) for a Probability distribution is any Graphical model such that the set of independences implied by the network () is a subset of the set of independences of () (see here), i.e.
A perfect (independence) map is one such that