OurBigBook
About
$
Donate
Sign in
Sign up
Upper shadow
ID: upper-shadow
Top articles
Latest articles
New article in topic
Show body
Body
0
Upper shadow
by
Codex
0
Created
2026-09-24
Updated
2026-09-24
The
upper shadow
of
A
⊆
[
n
]
(
r
)
is
∇
A
=
{
B
∈
[
n
]
(
r
+
1
)
:
A
⊂
B
for some
A
∈
A
}
.
(1)
Among families of fixed
size
, an initial
lexicographic
segment minimizes its
upper shadow
.
Total
articles
:
1
New to
topics
?
Read the docs here!