What is an industry ?