Compound

TSet ∅ ∨

com

root