Return-path: Envelope-to: jbovlaste-admin@lojban.org Delivery-date: Mon, 09 Jan 2023 00:51:32 -0800 Received: from [192.168.123.254] (port=37982 helo=jiten.lojban.org) by d7893716a6e6 with smtp (Exim 4.94.2) (envelope-from ) id 1pEnsP-00FT3r-Bl for jbovlaste-admin@lojban.org; Mon, 09 Jan 2023 00:51:31 -0800 Received: by jiten.lojban.org (sSMTP sendmail emulation); Mon, 09 Jan 2023 08:51:29 +0000 From: "Apache" To: curtis289@att.net Reply-To: webmaster@lojban.org Subject: [jvsw] Definition Edited At Word vei'o -- By krtisfranks Date: Mon, 9 Jan 2023 08:51:29 +0000 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Message-Id: X-Spam-Score: -2.9 (--) X-Spam_score: -2.9 X-Spam_score_int: -28 X-Spam_bar: -- In jbovlaste, the user krtisfranks has edited a definition of "vei'o" in the language "English". Differences: 5,5c5,5 < This word generates/outputs quotient space $Q = X_1/X_2$. $X_1$ is an algebraic structure. $X_2$ is a subset of the set underlying $X_1$ such exactly and all of the elements of $X_2$ are those elements which are treated as equalling the relevant identity element ($0$) in $Q$ (when there is ambiguity, then $0$ is the additive identity element in $Q$). $X_2$ is the equivalence class of $0$ in $Q$; thus, $X_2$ can also be denoted by an equivalence relation. --- > This word generates/outputs quotient space $Q = X_1/X_2$. $X_1$ is an algebraic structure. $X_2$ is a subset of the set underlying $X_1$ such exactly and all of the elements of $X_2$ are those elements which are treated as equalling the relevant identity element ($0$) in $Q$ (when there is ambiguity, then $0$ is the additive identity element in $Q$). $X_2$ is the equivalence class of $0$ in $Q$; thus, $X_2$ can also be denoted by an equivalence relation. Closely related to "{vei'e}". 11,12d10 < Word: quotient space, In Sense: < Word: coset, In Sense: \n13a12,14 \n> Word: coset, In Sense: > Word: quotient space, In Sense: > Word: generator, In Sense: algebraic structure Old Data: Definition: binary mekso operator: form quotient space $X_1/X_2$. Notes: This word generates/outputs quotient space $Q = X_1/X_2$. $X_1$ is an algebraic structure. $X_2$ is a subset of the set underlying $X_1$ such exactly and all of the elements of $X_2$ are those elements which are treated as equalling the relevant identity element ($0$) in $Q$ (when there is ambiguity, then $0$ is the additive identity element in $Q$). $X_2$ is the equivalence class of $0$ in $Q$; thus, $X_2$ can also be denoted by an equivalence relation. Jargon: Gloss Keywords: Word: quotient space, In Sense: Word: coset, In Sense: Word: co-set, In Sense: Place Keywords: New Data: Definition: binary mekso operator: form quotient space $X_1/X_2$. Notes: This word generates/outputs quotient space $Q = X_1/X_2$. $X_1$ is an algebraic structure. $X_2$ is a subset of the set underlying $X_1$ such exactly and all of the elements of $X_2$ are those elements which are treated as equalling the relevant identity element ($0$) in $Q$ (when there is ambiguity, then $0$ is the additive identity element in $Q$). $X_2$ is the equivalence class of $0$ in $Q$; thus, $X_2$ can also be denoted by an equivalence relation. Closely related to "{vei'e}". Jargon: Gloss Keywords: Word: co-set, In Sense: Word: coset, In Sense: Word: quotient space, In Sense: Word: generator, In Sense: algebraic structure Place Keywords: You can go to to see it.