Which conditional tests whether a union T as a whole is assignable to U?

Which conditional tests whether a union T as a whole is assignable to U?

1. T extends U ? true : false
2. [T] extends [U] ? true : false
3. keyof T extends U ? true : false
4. T[keyof T] extends U ? true : false