reduct
reduct An algebra formed by removing some of the operations, and possibly carriers, of another algebra. Let A be an algebra of signature Σ0 and let Σ be a subsignature of Σ0. Then the reduct A|Σ of A with respect to Σ is the algebra formed by removing from A the carriers, constants, and operations of A not named in Σ.
More From encyclopedia.com
Lesueur, Emily Porter (1972–) , let1 / let/ • v. (let·ting ; past let ) 1. [tr.] not prevent or forbid; allow: my boss let me leave early you mustn't let yourself get so involved. ∎… Remove , re·move / riˈmoōv/ • v. [tr.] take away (something unwanted or unnecessary) from the position it occupies: she sat down to remove her makeup. ∎ take… Operation , operation
1. A function from Sm (see Cartesian product) into S itself, where S is some set specific to the function. Such a function is usually refer… Kneecap Removal , Kneecap removal, or patellectomy, is the partial or total surgical removal of the patella, commonly called the kneecap.
The kneecap is fractured or s… Fibrinolysis , fibrinolysis The breakdown of the protein fibrin by the enzyme plasmin (fibrinase or fibrinolysin), which occurs when blood clots are removed from th… Exenteration , Definition
An exenteration is a major operation during which all the contents of a body cavity are removed. Pelvic exenteration refers to the removal…
You Might Also Like
NEARBY TERMS
reduct