The document states that the set difference between t and r is equal to t because they have no common elements. Therefore, t - r results in t itself.