{φ,{b},{c},{a,b},X}
に対して
{b}∪{c}={b},{c}は{b},{c}が存在するのでOK
{b}∪{a,b}={a},{b}は{b}が存在するのでOK
{c}∪{a,b}={a},{b},{c}は{b},{c}が存在するのでOK

ではないんですかね？