  Suppose A is an L-structure, X is a set of elements of A, B is an elementary extension of A and b, c are two elements of B. Then b and c are said to have the same type over X if for every formula φ(v1,…,vn+1) of L and every n-tuple d of elements of X, 