Como "T" está totalmente ordenado, "K" ⊆ "J" o "J" ⊆ "K".