Local time (mathematics)