zdeltakronekre

From Lojban Wiki
Jump to navigation Jump to search

valsi

zdeltakronekre

type

fu'ivla

creator

krtisfranks

time entered

Thu Mar 20 14:19:18 2014  

English

Definition #53223 - Preferred

 

definition

x1 is a Kronecker delta function defined on structure x2 which evaluates to one for any argument belonging to subset x3 and which evaluates to zero otherwise

notes

x2 determines domain, codomain, and the meaning of "zero" and "one". x3 is a set; for the typical usage of delta(x, n) for fixed n, let x3 be the singleton set such that n is an element thereof.

gloss words

created by

krtisfranks

vote information

1

time

Wed Dec 10 21:39:19 2014



Examples


Etymology