例えば、Regularというコンセプトが与えられている場合:conceptInputIterator<typenameIter,typenameValue>{requireRegular<Iter>;Valueoperator*(constIter&);Iter&operator++(Iter&);Iteroperator++(Iter&,int);}InputIteratorコンセプトに渡されたテンプレート引数の一つ目は、Regularコンセプトを満たすことが確認される。
在下例中，InputIterator的第一个参数Iter必须符合conceptRegular：conceptInputIterator<typenameIter,typenameValue>{requiresRegular<Iter>;Valueoperator*(constIter&);Iter&operator++(Iter&);Iteroperator++(Iter&,int);}另一方面，concept之间也能带有衍生关系。