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. The converse of "reduct" is "expansion."
Let A be an algebraic structure (in the sense of universal algebra) or equivalently a structure in the sense of model theory, organized as a set X together with an indexed family of operations and relations φi on that set, with index set I. Then the reduct of A defined by a subset J of I is the structure consisting of the set X and J-indexed family of operations and relations whose j-th operation or relation for j∈J is the j-th operation or relation of A. That is, this reduct is the structure A with the omission of those operations and relations φi for which i is not in J.
A structure A is an expansion of B just when B is a reduct of A. That is, reduct and expansion are mutual converses.
The monoid (Z, +, 0) of integers under addition is a reduct of the group (Z, +, −, 0) of integers under addition and negation, obtained by omitting negation. By contrast, the monoid (N,+,0) of natural numbers under addition is not the reduct of any group.
Tell me what you do, what you wanna do baby
You know they got to get busy
[x4]
You know they got to get busy [x6]
Anytime I get started, I go all night long, totally gone,
You know what's going on just the right amount of wrong
So forget what you heard in the grapevine
Hate racism, love baseline
And I don't want a KitKat
Tell him that I ain't taking a break till it's daytime
Tell me what you do, what you wanna do baby
You know they got to get busy
[x2]
(Get busy)
(Let's go!)
Tell me what you do, what you wanna do baby
You know they got to get busy
[x2]
Tell me what you do, what you wanna do baby
You know they got to get busy
(Get busy)
Tell me what you do, what you wanna do baby
You know they got to get busy
(Microphone check, let's go!)
We don't care what the weather man says,
If the weather man says it's raining,
Put on the raincoat, carry on raving
Used to be one minute, remaining
And I prayed for change, now it's me they're praising
You thought you were looking at a ball of gas
But you're looking at a star in the making
Tell me what you do, what you wanna do baby
You know they got to get busy