Does the following Galois connection hold?
x and y are a elements of the set of languages.i.e x and y are sets of words
P is the function from languages to languages and returns the set of all prefixes of words in a given language.
P.x is a subset of y = x is a subset of P.y
the "= " symbol means is "equivelent to"