Generalization is a founational element of logic and human reasoning. Generalization posits the existence of a domain or set of elements, as well as one or more common characteristics shared by those elements. As such, it is the essential basis of all valid deductive inference. The process of verification is necessary to determine whether a generalization holds true for any given situation.