doronshadmi
Penultimate Amazing
- Joined
- Mar 15, 2008
- Messages
- 13,320
Little 10 Toes,
If we observe a non-local element, its value can be in more than a one relation w.r.t another element.
But this is not the case here.
In this case I am trying to define the difference between finite and non-finite sets, where each member is local (can be distinguished from another member by using only one relation).
Let us use the notion of proper subset in order to distinguish between finite and non-finite sets as follows:
Definition 3: If A is a set and B is some arbitrary proper subset of A, then if |B| cannot be but |B| < |A|, then A is finite.
If we can use definition 3 in order to conclude that anything that does not satisfy it, must be a non-finite set, then definition 3 is enough to distinguish between finite and non-finite sets.
What do you think?
If we observe a non-local element, its value can be in more than a one relation w.r.t another element.
But this is not the case here.
In this case I am trying to define the difference between finite and non-finite sets, where each member is local (can be distinguished from another member by using only one relation).
Let us use the notion of proper subset in order to distinguish between finite and non-finite sets as follows:
Definition 3: If A is a set and B is some arbitrary proper subset of A, then if |B| cannot be but |B| < |A|, then A is finite.
If we can use definition 3 in order to conclude that anything that does not satisfy it, must be a non-finite set, then definition 3 is enough to distinguish between finite and non-finite sets.
What do you think?
Last edited: