Fix previous clarification

Signed-off-by: Larsen, Steffen <[email protected]>

Author: steffenlarsen

sycl/doc/design/DeviceAspectTraitDesign.md

@@ -68,7 +68,7 @@ due to the special case where the driver finds no configuration for a target and
 must assume that there exists some device that supports any given aspect. Since
 the driver has no way of knowing all possible aspects, we use a catch-all macro
 to denote this case instead. This is not needed for $A^{all}_t$ for any target
-$t$, as it will always be the intersection of finite sets of aspects.
+$t$, as it will always be a finite set of aspects.
 
 ## Changes to the device headers