Return-path: Envelope-to: jbovlaste-admin@lojban.org Delivery-date: Sun, 31 Jan 2021 23:59:26 -0800 Received: from [192.168.123.254] (port=45490 helo=jiten.digitalkingdom.org) by stodi.digitalkingdom.org with smtp (Exim 4.94) (envelope-from ) id 1l6U7G-00C753-Fq for jbovlaste-admin@lojban.org; Sun, 31 Jan 2021 23:59:26 -0800 Received: by jiten.digitalkingdom.org (sSMTP sendmail emulation); Mon, 01 Feb 2021 07:59:22 +0000 From: "Apache" To: curtis289@att.net Reply-To: webmaster@lojban.org Subject: [jvsw] Definition Edited At Word takni -- By krtisfranks Date: Mon, 1 Feb 2021 07:59:22 +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 "takni" in the language "English". Differences: 5,5c5,5 < Denote this binary relation $x_1$ between elements y, z (in that order) by "y R z" (in that order); then, for any elements a, b, c in the set of consideration (possibly $x_2$), if a R b and b R C, then a R c. See also: {kinra}, {kinfi}; {taknyklojyzilpra}. --- > Denote this binary relation $x_1$ between elements y, z (in that order) by "y R z" (in that order); then, for any elements a, b, c in the set of consideration (possibly $x_2$), if a R b and b R C, then a R c. See also: "{kinra}", "{kinfi}"; "{taknyklojyzilpra}", ".{efklipi}", ".{efklizu}". Old Data: Definition: $x_1$ is a binary relationship which is transitive in space/under conditions/on set $x_2$. Notes: Denote this binary relation $x_1$ between elements y, z (in that order) by "y R z" (in that order); then, for any elements a, b, c in the set of consideration (possibly $x_2$), if a R b and b R C, then a R c. See also: {kinra}, {kinfi}; {taknyklojyzilpra}. Jargon: Gloss Keywords: Word: transitive, In Sense: binary relation Place Keywords: New Data: Definition: $x_1$ is a binary relationship which is transitive in space/under conditions/on set $x_2$. Notes: Denote this binary relation $x_1$ between elements y, z (in that order) by "y R z" (in that order); then, for any elements a, b, c in the set of consideration (possibly $x_2$), if a R b and b R C, then a R c. See also: "{kinra}", "{kinfi}"; "{taknyklojyzilpra}", ".{efklipi}", ".{efklizu}". Jargon: Gloss Keywords: Word: transitive, In Sense: binary relation Place Keywords: You can go to to see it.