A property of a programming language or system that prevents type errors, ensuring that operations and expressions are only performed on compatible data types, often catching type-related errors at compile time.

"Languages like Java and C# enforce type safety to prevent common programming errors."