Residual current operated circuit-breakers for household and similar use - Residual current devices (RCDs). Vocabulary