diff --git a/source/iterators.tex b/source/iterators.tex
index 7a8c8b6ff7..f810cd429c 100644
--- a/source/iterators.tex
+++ b/source/iterators.tex
@@ -1445,15 +1445,12 @@
 that of every integral type of the same signedness.
 
 \pnum
-A type \tcode{I} other than \cv{}~\tcode{bool} is \defn{integer-like}
-if it models \tcode{\libconcept{integral}<I>} or
-if it is an integer-class type.
-An integer-like type \tcode{I} is \defn{signed-integer-like}
-if it models \tcode{\libconcept{signed_integral}<I>} or
-if it is a signed-integer-class type.
-An integer-like type \tcode{I} is \defn{unsigned-integer-like}
-if it models \tcode{\libconcept{unsigned_integral}<I>} or
-if it is an unsigned-integer-class type.
+Integer-class types and integral types\iref{basic.fundamental} other than \cv{}~\tcode{bool}
+are collectively called \defnadjx{integer-like}{types}{type}.
+Signed-integer-class types and types that model \tcode{\libconcept{signed_integral}}
+are collectively called \defnadjx{signed-integer-like}{types}{type}.
+Unsigned-integer-class types, and types other than \cv{}~\tcode{bool} that model \tcode{\libconcept{unsigned_integral}},
+are collectively called \defnadjx{unsigned-integer-like}{types}{type}.
 
 \pnum
 For every integer-class type \tcode{I},