In Deriscope terminology, a A is called a container of a type B if A contains B, in the following sense:
Every object of B is also an object of A, but not vice-versa.
It follows that then B is a of A
As an example, the following three statements hold:
1) The type is a container of the type
2) The type is also a container of the type
3) The type is not a container of the type