Concept B is a specialization of concept A if and only if:
- every instance of concept B is also an instance of concept A; and
- there are instances of concept A which are not instances of concept B.
In logic, specialisation occurs when you take a statement such as:
- "All cars are red"
- "My car is red"
- "Fred's car is red"
Generalization is the opposite of specialisation
See also: Specialization (functional)