U = {x/X is a letter in English alphabet}​