The most specific type that both types are, or undefined if there is none: e.g. String for Varchar(15) and Varchar(2), Integer for Int and SmallInt, Number for SmallInt and Double. A type is its own ancestor.