Definition, synonyms and related words
The process of verifying whether a given value belongs to a certain data type.