A constructive-axiomatic approach to the Lie structure in general spacetime by the principle of approximative reproducibility