Definition of "semiconductor"