F=
(
{
100,
110,
111
} → 000
or
{
101,
010,
000
} → 001
or
... etc. and we have at least 8 distinct F collections of 3 distinct objects each, where for each given F collection of 3 distinct objects we define a diagonal object that is not in the range of that F.
)
In other words, <0,1>^k(k=0 to ∞) is a general form for both P(F) and F, ... etc. ... ad infinitum ...
The F set was defined as F = {apple, orange, lemon}. Now, the F set looks quite different -- its members are in the first case {100, 110, 111}
Those binary numbers are associated with P(F).
It follows that in the first case, the membership of set F is{
000 ↔ {}
001 ↔ {apple}
010 ↔ {orange}
011 ↔ {lemon}
100 ↔ {apple,orange}
101 ↔ {apple,lemon}
110 ↔ {orange,lemon}
111 ↔ {apple, orange, lemon}
}
F = {apple, {apple, orange}, {apple, orange, lemon}} = {{apple, {apple, orange}, F}.
The circular definition is pretty apparent. Are you going to fix it before explaining why F has a structure of the power set?