Initial definitions