I remember hearing two words, each describing a relationship to scope, or a containing set. I think they are prefixed with micro- and macro-, but am not certain (I'll call them 1 and 2).
- 1 describes a type of thing which, by definition, is contained within the definition of 2.
- 2 describes a type of thing which, by definition, contains 1.
For example, a square is a 1 of a rectangle. A rectangle is a 2 of a square. An iPhone is a 1 of a computer, and a laptop is also a 1 of a computer.
I hope that makes enough sense. This is difficult to describe because it is so conceptual in nature.