Короче я вдруг осознал, что конструкция Sum({<CategoryName=e({<SpecialType={'A'}>}SpecialCategory)>}Sales) в сет анализе даст такой результат:
Сначала отберутся значения CategoryName, которые совпадают с SpecialCategory (т.е. что не совпадает, автоматически оказывается за бортом.) И потом из этих значений исключатся те, которые прописаны в условии, т.е. у которых SpecialType={'A'}. подробности на картинках
Да, для такой конструкции это логично и вписывается в логику анализа множеств, а именно того, как движок отрабатывать на датасете. Сначала берутся значения, что указаны в сет анализе, т.е. не смотря на дименшены идёт схлопывание датасета в вирт кубе, и он сначала отработает CategoryName=SpecialCategory, следующим действием поссмтрит конкретные значения Типа А.