На представленном изображении , В и А являются - B-эффективно перечислимое множество;A- подмножество множества B А-эффективно перечислимое множество;B- подмножество множества B B-эффективно перечислимое множество;A- область определения множества B B-область определения множества С ;A- подмножество множества B