Definition of "arrester"