There's a nice elegant description of what it does, mathematically, and a significant use in Computer Science.