约束，概念和协议是否都是有界量化的？

Question

边界量化（wiki）是这些功能的正式名称吗？

• C ++概念
• Nim的概念（manual）
• Swift的通用类型约束
• 快速协议（doc）
• C＃where子句