If formula_14 is a graph formula_2, this means that the probability of a uniform random mapping from formula_21 to formula_22 being a homomorphism is at least the product over each edge in formula_1 of the probability of that edge being mapped to an edge in formula_2.