Processing math: 100%
Sequence length
Set
context
X
definiendum
l
e
n
g
t
h
:
S
e
q
u
e
n
c
e
(
X
)
→
N
∪
{
∞
}
definiendum
l
e
n
g
t
h
(
S
)
:=
|
d
o
m
(
S
)
|
Discussion
Parents
Subset of
Injective function
Context
Sequence
Refinement of
Set cardinality
Log In
Article
Read
Search
Log In
Log In
Improvements of the human condition
Graphxioms
