Najděte zdroje: „(Naučte se, jak a kdy odstranit tuto zprávu ze šablony)
Abstraktní struktura je formální objekt, který je definován souborem zákonů, vlastností a vztahů způsobem, který je logicky, i když ne vždy historicky nezávislý na struktuře kontingentních zkušeností, například těch, které zahrnují fyzické objekty. Abstraktní struktury se studují nejen v logice a matematice, ale i v oborech, které je aplikují, jako je informatika, a ve studiích, které o nich uvažují, jako je filozofie (zejména filozofie matematiky). Moderní matematika byla skutečně definována ve velmi obecném smyslu jako studium abstraktních struktur (Bourbakiho skupinou: viz diskuse tamtéž, u algebraické struktury a také struktury).
Abstraktní struktura může být reprezentována (možná s určitým stupněm aproximace) jedním nebo více fyzickými objekty – to se nazývá implementace nebo instanciace abstraktní struktury. Samotná abstraktní struktura je však definována způsobem, který není závislý na vlastnostech žádné konkrétní implementace.
Abstraktní struktura má bohatší strukturu než pojem nebo idea. Abstraktní struktura musí obsahovat přesná pravidla chování, pomocí nichž lze určit, zda kandidátská implementace skutečně odpovídá dané abstraktní struktuře. Můžeme tedy diskutovat o tom, nakolik určitá vláda odpovídá konceptu demokracie, ale není prostor pro debatu o tom, zda daná posloupnost tahů je či není platnou šachovou partií.