This article is about formal (mathematical) version of chain supply from car factory to local dealers. The first step was a scheme this process, called model and trying to write formal definitions every points and relations between them. This article is an adaptation formal language in specific market of cars distribution.