Free marketeconomy is an idealized form of market economy in which buyers and sellers are permitted to carry out transactions solely based on mutual agreement on price without government intervention in the form of taxes, subsidies, regulation, or government ownership of goods or services (except that the government protects property rights and enforces contracts). The free market is considered the mainstay of ideologies such as minarchism, libertarianism, and 19th century liberalism, along with Western definitions of capitalism. It is anathema to communism and some variants of socialism, as defined in the West, although modern liberalism and most variants of socialism seek to mitigate what they see as the problems of an unrestrained free market.
In reality there are no totally free or ideal markets in operation. Lack of perfect and symmetrically-distributed knowledge, monopolistic practices, cartels, taxes and government regulation bias the equilibrium points of most large markets in existence today. Participants engage in information bias practices such as insider trading and price fixing. Information-related problems such as adverse selection, moral hazard, and the principal-agent problem plague markets and encourage non-market solutions. Some believe that the notion of a free market is inherently unachievable because they believe that governments are fundamentally involved in markets through the creation and enforcement of property rights. Others argue that the concept of property comes from natural law and therefore it is incorrect to see governments as creating markets.
In the ideal free market, the law of supply and demand predominates, influencing prices toward an equilibrium that balances the demands for the products against the supplies. At these equilibrium prices, the market distributes the products to the purchasers according to each purchaser's use (or utility) for each product and within the relative limits of each buyer's purchasing power. In the limited mathematical ideal market, this distribution of products is Pareto Optimal, meaning that no purchaser could have their purchasing limits filled in a way more useful to them without reducing the usefulness of some other purchaser's bundle of products. This type of optimality doesn't necessarily have anything to say about the distribution of purchasing power itself (which is often an input to the mathematical ideal market) - the optimality generally refers to the distribution of products given the pre-existing purchasing power of the purchasers. The necessary components for the functioning of such a free market include no artificial price pressures from taxes, subsidies, tariffs, or government regulation, perfect (or at a minimum, equivalent) knowledge about the value of the goods, geographic availability of goods to all people, and no artificial monopolies (patents etc.) or other forms of economic coercion on the part of the actors.
The distribution of purchasing power in an economy depends to a large extent on the labor market and the financial markets, but also on other things such as family relationships, inheritance, gifts and so on. The ideal free market does not explain particularly well the performance of many real markets such as the labor market, or financial markets. It explains better the markets for consumer products.
The economic and political application of the concept of the ideal free market is known, primarily by detractors, as neoliberalism.