On a formal definition of organization