As I read this is the intersection of all typologies on which contain

Exactly what difficulty are you having with part (1)? Please be complete in answering ?

For part (2), note that if then . WHY?

Also are in then must belong to because typologies are closed under finite intersection.