Definition. indicator_eq
χ A X = {t | ∃x. x ∈ X \ A ∧ t = (x, ∅)} ∪ {t | ∃x. x ∈ A ∧ t = (x, {∅})}