Treat lines of a file as elements of a set