У конституційній теорії Сполучених Штатів теорія договору є відкинутим тлумаченням Конституції, яка стверджує, що Сполучені Штати були сформовані через договір, узгоджений усіма штатами, і що федеральний уряд, таким чином, є створенням штатів.

Компактна теорія в контексті американського федералізму відноситься до ідея, що США були сформовані через угоду (компакт) між урядами штатів.

Джефферсонівська «компактна» теорія Конституції стверджувала це Уряди штатів і федеральний уряд мали рівний статус, обидва мали повноваження, делеговані їм жителями штатів для різних цілей.

Слабкість аргументів Медісона щодо цього критичного питання федеральної влади може пояснити його дивовижний дрейф у бік прийняття «компактної теорії»—думка, що штати, а не суверенний народ Сполучених Штатів є справжніми сторонами Конституції.

Вони аргументували це Конституція була «компактом» або угодою між штатами. Тому федеральний уряд не мав права здійснювати повноваження, спеціально йому не делеговані. Якщо федеральний уряд візьме на себе такі повноваження, його акти можуть бути оголошені штатами неконституційними.

У математичній логіці це стверджує теорема компактності набір речень першого порядку має модель тоді і тільки тоді, коли кожна його кінцева підмножина має модель.

Теорія суспільного договору Джона Локка містить ідею про те, що Життя, свобода і власність дані нам природою, і їх не можна відбирати. Теорія Локка стверджує, що люди формують уряди, щоб захистити ці права, але щоб це спрацювало, люди повинні дотримуватися законів, які приймає уряд.