- quasivariety
-
Any of a class of algebraic structures generalizing the notion of variety by allowing equational conditions on the axioms defining the class.
Wikipedia foundation.
quasivariety
Look at other dictionaries:
Quasivariety — A quasivariety is a class of algebraic structures generalizing the notion of variety by allowing equational conditions on the axioms defining the class. TOC DefinitionIn mathematics, a quasivariety is a class K of algebras with a specified… … Wikipedia
Pseudoelementary class — In logic, a pseudoelementary class is a class of structures derived from an elementary class (one definable in first order logic) by omitting some of its sorts and relations. It is the mathematical logic counterpart of the notion in category… … Wikipedia
Relation algebra — is different from relational algebra, a framework developed by Edgar Codd in 1970 for relational databases. In mathematics, a relation algebra is a residuated Boolean algebra supporting an involutary unary operation called converse. The… … Wikipedia
List of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… … Wikipedia
Problems in loop theory and quasigroup theory — In mathematics, especially abstract algebra, loop theory and quasigroup theory are active research areas with many open problems. As in other areas of mathematics, such problems are often made public at professional conferences and meetings. Many … Wikipedia
Outline of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… … Wikipedia
Variety (universal algebra) — This article is about a class of algebraic structures of the same signature. For the set of solutions to a system of polynomial equations, see Algebraic variety. In mathematics, specifically universal algebra, a variety of algebras is the class… … Wikipedia
List of mathematics articles (Q) — NOTOC Q Q analog Q analysis Q derivative Q difference polynomial Q exponential Q factor Q Pochhammer symbol Q Q plot Q statistic Q systems Q test Q theta function Q Vandermonde identity Q.E.D. QED project QR algorithm QR decomposition Quadratic… … Wikipedia
Quasiidentity — In universal algebra, a quasiidentity is an implication of the form : s 1 = t 1 ∧ … ∧ s n = t n → s = t where s1, ..., sn, s and t1, ..., tn,t are terms built up from variables using the operation symbols of the specified… … Wikipedia
