تُعد البنية المجردة في الرياضيات كائنًا شكليًا ويتم تعريفها من خلال مجموعة من القوانين والخصائص والعلاقات بطريقة منطقية إن لم تكن دائمًا مستقلة تاريخيًا لبنية التجارب المشروطة، مثل تلك التي تشمل أشياء مادية.