Provides a table of invariants for the terms used to discuss generic types and methods.

• 提供用于讨论泛型类型和方法的术语的固定条件列表。