A DEX mechanism that uses a mathematical formula (typically x × y = k) and liquidity pools to price tokens and execute trades without order books.