proper time interval

[ریاضیات] فاصله ی زمانی ویژه