@Manuel
You will need to declare tau as a second index in the set T (same set to which t belongs). See this post for more details:
https://community.aimms.com/developers-math-or-programming-39/indexing-a-variable-with-an-initial-value-or-constraint-588#post1494
After declaring the second index, you can declare your constraint as
Constraint Constraint2 {
IndexDomain: (c,o,t,w);
Definition: P_C(c,o,t,w) <= sum[tau|tau<=t, P_CMax(c, tau, w)]
}
P_CMax’s original index domain is (c, t, w) but you replace t with tau (as it is another index in the same set) and limit the sum over tau to elements <= t.
tau <= t here will be equivalent to ord(tau) <= ord(t), assuming that your Set T is ordered i.e., t-1, t-2, t-3 … t-n