7 Concepts library [concepts.lib]

7.3 Core language concepts [concepts.lib.corelang]

7.3.7 Concept Integral [concepts.lib.corelang.integral]

template <class T> concept bool Integral = is_integral<T>::value; // see below

1

There need not be any subsumption relationship between Integral<T> and is_integral<T>::value.