Return-path: Envelope-to: jbovlaste-admin@lojban.org Delivery-date: Mon, 28 Oct 2024 20:00:50 -0700 Received: from [192.168.123.254] (port=49306 helo=jiten.lojban.org) by 4f8f24ca47b9 with smtp (Exim 4.96) (envelope-from ) id 1t5cTP-0003vi-1k for jbovlaste-admin@lojban.org; Mon, 28 Oct 2024 20:00:50 -0700 Received: by jiten.lojban.org (sSMTP sendmail emulation); Tue, 29 Oct 2024 03:00:47 +0000 From: "Apache" To: curtis289@att.net Reply-To: webmaster@lojban.org Subject: [jvsw] Definition Edited At Word setxeve -- By krtisfranks Date: Tue, 29 Oct 2024 03:00:47 +0000 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Message-Id: X-Spam-Score: -1.0 (-) X-Spam_score: -1.0 X-Spam_score_int: -9 X-Spam_bar: - In jbovlaste, the user krtisfranks has edited a definition of "setxeve" in the language "English". Differences: 2,2c2,2 < $x_1$ (predicate, relation, function, set of n-tuples) is the converse/complement/transpose of $x_2$ (same typing as $x_1$), as defined on set/object/space/graph $x_4$, with argument/input slots permuted via function/operator/marker/permutation/(group) action $x_3$. --- > $x_1$ (predicate, relation, function, set of n-tuples) is the converse/conversion/complement/transpose/commutation/functional-'permutation' of $x_2$ (same typing as $x_1$), as defined on set/object/space/graph $x_4$, with argument/input slots permuted via function/operator/marker/permutation/(group) action $x_3$. 5,5c5,5 < Members of the SE* series of Lojban cmavo can be supplied to $x_3$. --- > Members of the SE* series of Lojban cmavo can be supplied to $x_3$, in addition to specification of other permutations which apply via group action. 10a11,11 \n> Word: commutation of relation, In Sense: as opposed to commutation of inputs/arguments 12,12d12 < Word: conversion, In Sense: converse relation \n14,14c14,14 < Word: permutation of inputs, In Sense: --- > Word: conversion, In Sense: converse relation 16,16c16,16 < Word: commutation of relation, In Sense: as opposed to commutation of inputs/arguments --- > Word: permutation of inputs, In Sense: Old Data: Definition: $x_1$ (predicate, relation, function, set of n-tuples) is the converse/complement/transpose of $x_2$ (same typing as $x_1$), as defined on set/object/space/graph $x_4$, with argument/input slots permuted via function/operator/marker/permutation/(group) action $x_3$. Notes: Members of the SE* series of Lojban cmavo can be supplied to $x_3$. Jargon: Gloss Keywords: Word: complementary relation, In Sense: Word: conversion, In Sense: converse relation Word: converse relation, In Sense: Word: permutation of inputs, In Sense: Word: permutation of arguments, In Sense: Word: commutation of relation, In Sense: as opposed to commutation of inputs/arguments Place Keywords: New Data: Definition: $x_1$ (predicate, relation, function, set of n-tuples) is the converse/conversion/complement/transpose/commutation/functional-'permutation' of $x_2$ (same typing as $x_1$), as defined on set/object/space/graph $x_4$, with argument/input slots permuted via function/operator/marker/permutation/(group) action $x_3$. Notes: Members of the SE* series of Lojban cmavo can be supplied to $x_3$, in addition to specification of other permutations which apply via group action. Jargon: Gloss Keywords: Word: commutation of relation, In Sense: as opposed to commutation of inputs/arguments Word: complementary relation, In Sense: Word: converse relation, In Sense: Word: conversion, In Sense: converse relation Word: permutation of arguments, In Sense: Word: permutation of inputs, In Sense: Place Keywords: You can go to to see it.