« first day (3578 days earlier)      last day (1195 days later) » 

13:47
A subset relation is defined on the power set of N. So, it's a POSET. Does N belongs to this POSET or {N} belongs to this POSET.
14:20
@NeelRayal I am not sure whether I understand your question correctly - but if you're working with P(N| then N∈P(N). (I.e., N is one of the elements of P(N).)
I see that you have asked also in the main chatroom, maybe you';; get some response there.
Hi @AlessandroCodenotti.
Hi, just saw some recent activity in the room and was checking if there´s some interesting discussion going on
Well, not really.
14:49
Is there a nice bijection between the set of a functions N->{0,1,2,3,4,5,6,7,8,9} and the set of all functions N->{0,1} ?
15:05
@AlessandroCodenotti @MartinSleziak
15:21
I suppose one can use compositions of bijection of N^2 and N
Thats the nicest I feel

« first day (3578 days earlier)      last day (1195 days later) »