[ABs]

korifey, Diamanter, девчёнки, не ссорьтесь.
алкоголь -- наркотик, если чо.

т.е. подмножество "алкаши" целиком попадает в множество "наркоманы".

вопросы легальности того или иного наркотика Харона не волнуют.