In universal algebra and in model theory, a reduct of an algebraic structure is obtained by omitting some of the operations and relations of that structure.
Στην καθολική άλγεβρα και στη θεωρία μοντέλων, η μείωση (reduct) μιας αλγεβρικής δομής προκύπτει από την παράλειψη κάποιων από τις πράξεις και τις δομές της δομής αυτής.