高一函數知識點集合間的包含關系主要有以下幾種類型：
1. 真子集（Proper Subset）：- 如果集合A中的所有元素都是集合B的元素，但A不等于B（即B至少有一個元素不屬于A），則稱A是B的真子集，記作 A ⊂ B 或 A ? B。
2. 子集（Subset）：- 如果集合A中的所有元素都是集合B的元素，則稱A是B的子集，記作 A ⊆ B。這個關系包括A等于B的情況，即A可以是B的真子集，也可以等于B。
3. 非子集（Not a Subset）：- 如果集合A不是集合B的子集，即A至少有一個元素不屬于B，則稱A不是B的子集，記作 A ? B。
4. 真超集（Proper Superset）：- 如果集合B是集合A的真子集，則稱B是A的真超集，記作 B ⊃ A 或 B ? A。
5. 超集（Superset）：- 如果集合B是集合A的子集，則稱B是A的超集，記作 B ⊇ A。這個關系同樣包括B等于A的情況。
總結一下，包含關系的類型可以歸納為：- 真子集（⊂ 或 ?）、- 子集（⊆）、- 非子集（?）、- 真超集（⊃ 或 ?）、- 超集（⊇）。
這些關系是集合論中的基本概念，用于描述不同集合之間的元素包含情況。