Lorentz Transformation: Definition, Derivative & Application