-$MaxSlot(SL')= \tuple{s, sv} \mid \tuple{s, sv}\r
-\in SL' \wedge \forall \tuple{s', sv'} \in SL', s \geq s'$ \\\r
-$MinSlot(SL')= \tuple{s, sv} \mid \tuple{s, sv} \r
-\in SL' \wedge \forall \tuple{s', sv'} \in SL', s \leq s'$ \\\r
+$MaxSlot(SL_s)= \tuple{s, sv} \mid \tuple{s, sv}\r
+\in SL_s \wedge \forall \tuple{s_s, sv_s} \in SL_s, s \geq s_s$ \\\r
+$MinSlot(SL_s)= \tuple{s, sv} \mid \tuple{s, sv} \r
+\in SL_s \wedge \forall \tuple{s_s, sv_s} \in SL_s, s \leq s_s$ \\\r