Множество A является подмножеством множества B если каждый элемент множества A содержится также в B. Например, для твоего множества M: {a,b} - является подмножеством, {a,b,d} - нет.
• пустое множество ∅ является подмножеством любого множества,
• любое множество является подмножеством самого себя.
• У любого n-элементного множества ровно 2^n подмножеств.
В твоем случае будет 2^3 = 8 штук:
{{∅}, {a}, {b}, {c}, {a,b}, {a,c}, {b,c}, {a,b,c}}