LWG4463 Change wording to 'model' from 'subsumes' in [algorithms.parallel.user]

Fixes US 155-253 (C++26 CD).

Author: burblebee

source/algorithms.tex

@@ -381,7 +381,9 @@
 \tcode{BinaryOperation1},
 \tcode{BinaryOperation2},
 \tcode{BinaryDivideOp}, or
-constrained by a concept that subsumes \libconcept{regular_invocable}
+constrained by a concept
+whose semantic requirements include
+that the type models \libconcept{regular_invocable}
 and the operators used by the analogous overloads to these parallel algorithms
 that are formed by an invocation
 with the specified default predicate or operation (where applicable)