Definition of "solenoid"