翻訳と辞書 Words near each other ・ Quasispecies model ・ Quasistatic ・ Quasistatic approximation ・ Quasistatic loading ・ Quasistatic process ・ Quasisymmetric ・ Quasisymmetric function ・ Quasisymmetric map ・ Quasit ・ Quasithin group ・ Quasitopological space ・ Quasitoric manifold ・ Quasitransitive relation ・ Quasitriangular Hopf algebra ・ Quasiturbine ・ Quasivariety ・ Quasquara ・ Quasqueton, Iowa ・ Quassaick Creek ・ Quassar ・ Quassel IRC ・ Quassia ・ Quassia amara ・ Quassia sanguinea ・ Quassia sp. 'Moonee Creek' ・ Quassia sp. 'Mount Nardi' ・ Quassim Cassam ・ Quassin ・ Quassinoid ・ Quassiremus Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Quasivariety ： ウィキペディア英語版 Quasivariety In mathematics, a quasivariety is a class of algebraic structures generalizing the notion of variety by allowing equational conditions on the axioms defining the class. ==Definition== A ''trivial algebra'' contains just one element. A quasivariety is a class ''K'' of algebras with a specified signature satisfying any of the following equivalent conditions. 1. ''K'' is a pseudoelementary class closed under subalgebras and direct products. 2. ''K'' is the class of all models of a set of quasiidentities, that is, implications of the form $s\_1\; \backslash approx\; t\_1\; \backslash land\; \backslash ldots\; \backslash land\; s\_n\; \backslash approx\; t\_n\; \backslash rightarrow\; s\; \backslash approx\; t$, where $s,\; s\_1,\; \backslash ldots,\; s\_n,t,\; t\_1,\; \backslash ldots,\; t\_n$ are terms built up from variables using the operation symbols of the specified signature. 3. ''K'' contains a trivial algebra and is closed under isomorphisms, subalgebras, and reduced products. 4. ''K'' contains a trivial algebra and is closed under isomorphisms, subalgebras, direct products, and ultraproducts. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Quasivariety」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.