[anononymous5]

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