# A set together with its subset

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$).

-
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