[Coda]

So I found this lying around in some of my old database theory notes... I know I wrote it this way because it was a lot more concise than trying to write it out in English, but I'm wondering if anyone here can decode it...

∀T∈a⋈b(∃S∈a(∀x∈S(S[x]=T[x]))∧∃U∈b(∀y∈U(U[y]=T[y])))→∀z∈S∩U(S[z]=U[z])

S, T, and U are tuples, and S[x] means "the value of the property x in the tuple S".