does anyone have a idea how to solve this?
given is a function:
f : N0 -> 2^N0
with the following attitude
if x < y then f(y) is a true subset of f(x)
given is a function:
f : N0 -> 2^N0
with the following attitude
if x < y then f(y) is a true subset of f(x)
