Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Are there any particular term for a pair $(U;A)$ where $U$ is a set and $A\in\mathscr{P}U$? That is, saying informally, $(U;A)$ is a set $A$ together with a set $U$ on which $A$ is defined ($A$ is defined as a subset of $U$).

share|improve this question
9  
One could consider this pair as the inclusion $A\subset U$... –  Simon Markett May 20 '12 at 20:05
    
How about extension? But I don't think there is a standard term for that. The closer I know of is pointed set. –  lhf May 20 '12 at 20:45
    
You could call it a structure with one unary relation, or simply a unary relation $A$ on $U$. –  Trevor Wilson Oct 12 '12 at 20:09
add comment

1 Answer

For more general situations of this kind, there are indeed names.

For example, one can talk about filtration, if you have a set of sets with certain inclusion properties.

http://en.wikipedia.org/wiki/Filtration_%28abstract_algebra%29

If the sets are vector spaces, this is a (very trivial) flag.

But normally, one does not use this terminology for the simple situation of "a set and a subset". You can view it as an element of the inclusion relation, but there are few contexts where this would be helpful.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.