Type structures are a simple device to describe higher-order beliefs. However. how can we check whether two types generate the same belief hierarchy. This paper generalizes the concept of a type morphism and shows that one type structure is contained in another if and only if the former can be mapped into the other using a generalized type morphism. https://www.roneverhart.com/HP-Pavilion-15-eg2373cl-15-6-FHD-Touch-Laptop-Intel-Core-i7-1255U-3-50-GHz-GeForce-MX550-16GB-DDR4-512GB-SSD-Windows--p8309/