What does Extract return?

A All properties of T that also exist in U B The intersection of T and U's properties C The union members of T that are assignable to U D The types in U that are not present in T