EMPLOYEE NUMBER

Definition An <EMPLOYEE NUMBER> is an <IDENTIFYING STRING> of an <EMPLOYEE>, that is defined with an <EMPLOYEE NUMBER DEFINITION> and allocated with an <IDENTIFICATION BY EMPLOYEE NUMBER>