ok, my logic. Dates are Intervals of Timestamp (I put uppercase for clarity). A Date is [01/06/2020 0h0m0s..23h59mn59.999s] A Time can be seen as an Interval

ok, my logic. Dates are Intervals of Timestamp (I put uppercase for clarity). A Date is [01/06/2020 0h0m0s..23h59mn59.999s] A Time can be seen as an Interval of Timestamp, albeit of length 0 A Time is [01/06/2020 12:00:00.. 01/06/2020 12:00:00] With these definitions, it's no (interval are different) no [01/06/2020 0h0m0s..1h59mn59.999s] is not included no the interval is fully included