(object-oriented programming) The feature pertaining to the dynamic treatment of data elements based on their type, allowing for an instance of a method to have several definitions.
(mathematics) The property of certain typedformal systems of allowing for the use of type variables and binders/quantifiers over those type variables; likewise, the property of certain expressions (within such typed formal systems) of making use of at least one such typed variable.
(crystallography) The ability of a solid material to exist in more than one form or crystal structure; pleomorphism.
(genetics) The regular existence of two or more different genotypes within a given species or population; also, variability of amino acid sequences within a gene's protein.