Zestaw wymagań, które musi spełnić typ używany jako parametr szablonu (np. posiadanie operatora >).
>
» Słownik opanowanych pojęć