hall effect switch Glossary