dei'i

valsi

dei'i

type

experimental cmavo

creator

gleki

time entered

Fri Nov 4 12:54:47 2022  

English

Definition #73020 - Preferred

 

selma'o

JOI

definition

non-logical connective: set difference of x₁ and x₂: MATH

${x_1}dei'i{x_2}={x_1}\setminus{x_2}=\{{x}\in{x_1}:{x}\notin{x_2}\}$

x₁dei'ix₂ = x₁ <img alt="$\setminus$" src="/jbovlaste_export/JMbOCKw1Mb/img1.png" style="height: 2.38ex; vertical-align: -0.70ex; "/> x₂ = {x∈x₁ : x <img alt="$\notin$" src="/jbovlaste_export/JMbOCKw1Mb/img2.png" style="height: 1.96ex; vertical-align: -0.21ex; "/>x₂}

notes

JOI and mandatorily binary version of "kei'i".

created by

gleki

vote information

2

time

Fri Nov 4 18:29:17 2022

Examples

---