派生コンセプトは、クラスの派生のように定義される:conceptForwardIterator<typenameIter,typenameValue>:InputIterator<Iter,Value>{//ここに他の要件を追記する。
如同类的继承，满足衍生concept的型别也必须满足基底concept，语法上也和类继承相同：conceptForwardIterator<typenameIter,typenameValue>:InputIterator<Iter,Value>{//在此加上ForwardIterator的其它要求}Concept中也可宣告关联型别(associatedtype)，以typename宣告。