Почему keyof дает объединение свойств, а не пересечение свойств?

Использование keyof со следующим типом дает union имен свойств:

type Person = {
    name: string;
    age: number;
    location: string;
}

type K1 = keyof Person; // "name" | "age" | "location"

Точно так же, если я использую помощник Omit, который использует Exclude, я должен предоставить union свойств для keyof T, где интуитивно я бы ожидать предоставил intersection свойств, которые нужно опустить, но это не так:

type Omit<T, K extends keyof T> = Pick<T, Exclude<keyof T, K>>;
type PersonName = Omit<Person, "location" | "age">;  
// type Person = { name: string }

Я думаю, исходя из моего понимания, вместо этого будет следующая композиция type, поскольку она требует intersection всех свойств, а не union свойств:

// This isn't valid, but what I'd expect using keyof
type K1 = keyof Person; // "name" & "age" & "location"
type PersonName = Omit<Person, "location" & "age">;

Когда дело доходит до keyof, где я ошибаюсь в своем понимании свойств, полученных как union, в отличие от intersection ключей свойств для этого type? type не может существовать, когда каждое свойство является сценарием либо, как описывает union. type недействителен, если только он не является intersection из всех properties правильным?