[see also: superfluous, unnecessary, drop, omit]
Note that no boundedness assumption is made in this definition; in fact, this would be redundant as shown by Theorem 3 below.
Go to the list of words starting with: a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
w
y
z