Një diagram Venn që ilustron kryqëzimin e dy grupeve . Teoria e vendosur është një degë e logjikës matematikore që studion grupe, të cilat janë koleksione joformale objektesh. Studimi modern day i teorisë së grupeve u iniciua nga Georg Cantor dhe Richard Dedekind në vitet 1870. Pas zbulimit të paradokseve në teorinë e vendosje