optional time

[ریاضیات] زمان اختیاری