تُعد البنية المجردة في الرياضيات كائنًا شكليًا ويتم تعريفها من خلال مجموعة من القوانين والخصائص والعلاقات بطريقة منطقية إن لم تكن دائمًا مستقلة تاريخيًا لبنية التجارب المشروطة، مثل تلك التي تشمل أشياء مادية.
An abstract structure in mathematics is a formal object that is defined by a set of laws, properties, and relationships in a way that is logically if not always historically independent of the structure of contingent experiences, for example, those involving physical objects.