- #1

bahamagreen

- 1,014

- 52

- TL;DR Summary
- Where or how is the intention of the "type" or "category" of the membership of a set defined such that one may determine whether something is or is not a member?

{1, 2 ,3} = {1, 2,

{1, 2 ,3} = {one, dos, three}?

{Tom, Dick, Harry} = {Thomas, Richard, Harrison}?

Seems to me, these are undetermined until the set's "type" or "category" definition of its members is defined so as to determine what elements are members of the set... whether membership fails from a difference in typeface, difference in symbol, difference in language, or in this last case difference in membership based on whether members are individuals, or just their names.

Does set theory have this "type" or "category" definition of membership?

If so, what is it called? What form does it take (I haven't seen it)?

*,*__3__**3**, III}?{1, 2 ,3} = {one, dos, three}?

{Tom, Dick, Harry} = {Thomas, Richard, Harrison}?

Seems to me, these are undetermined until the set's "type" or "category" definition of its members is defined so as to determine what elements are members of the set... whether membership fails from a difference in typeface, difference in symbol, difference in language, or in this last case difference in membership based on whether members are individuals, or just their names.

Does set theory have this "type" or "category" definition of membership?

If so, what is it called? What form does it take (I haven't seen it)?