Мощность множества функции

[carpenter]

$(S\cap(T0 \setminus T1)) \setminus(L \cup T0) \cup (L \cap S)\setminus(M\setminus(T0 \setminus T1)$

алгоритм решения
1)Разбивается по формулам включения-исключения
$|S \cap (T0 \setminus T1) \setminus (L \cup T0)| + |(L \cap S) \setminus (M \setminus (T0 \setminus T1)| - |(S \cap (T0 \setminus T1)) \setminus (L \cup T0)| \cap | (L \cap S) \setminus (M \setminus (T0 \setminus T1))|$

2)Разбитие по действиям I II III
I
$|S \cap (T0 \setminus T1) \setminus (L \cup T0)| $
+
II
$|(L \cap S) \setminus (M \setminus (T0 \setminus T1)|$
-
III
$|(S \cap (T0 \setminus T1)) \setminus (L \cup T0)| \cap | (L \cap S) \setminus (M \setminus (T0 \setminus T1))|$

3)Дальнейшее разбитие по формулам включения-исключения
I - $|(S \cap T0) \setminus T1| - |((S \cap T0) \setminus T1) \cap (L \cup T0)|$
etc

4)Дальше начинается сбор, учитывая мощности. Как это делать я не совсем понял. Помогите дорешать.