F = {x / x is a disticnt letter in the word philippines