‘Move’ in syntax: Logically necessary or undefinable in the best case?

If merge is simple set-formation and set-membership is transitive, then move or chain is undefinable as standardly understood.