Definability in the structure of words with the inclusion relation