setxeve

valsi

setxeve

type

fu'ivla

creator

krtisfranks

time entered

Mon Feb 7 20:51:04 2022  

English

Definition #72768 - Preferred

 

definition

x₁ (predicate, relation, function, set of n-tuples) is the converse/conversion/complement/transpose/commutation/functional-'permutation' of x₂ (same typing as x₁), as defined on set/object/space/graph x₄, with argument/input slots permuted via function/operator/marker/permutation/(group) action x₃.

notes

Members of the SE* series of Lojban cmavo can be supplied to x₃, in addition to specification of other permutations which apply via group action.

gloss words

• commutation of relation ; as opposed to commutation of inputs/arguments
• complementary relation
• converse relation
• conversion ; converse relation
• permutation of arguments
• permutation of inputs

created by

krtisfranks

vote information

1

time

Tue Oct 29 03:00:46 2024

Examples

---