Множество О является подмножеством множества D, так как все элементы множества О содержатся в множестве D:
О ⊂ D