离散数学相容类可以由一个元素构成吗

相容类可以只有一个元素吗

例如这个图示，相容类可以为{a}{b}{c}吗