Must be the identity of combine:

• combine empty t = t
• combine t empty = t

Must be associative:

• combine a (combine b c) = combine (combine a b) c