Specialization validity

When you specialize one element from another the new element must obey certain rules in order to be a valid specialization.