Let be a Category.
Let .
The generalized element of of shape is a Morphism

Example

In Category of Sets , a generalized element of shape
is just a function that picks one element of i.e.

where .
An ordered pair in is a generalized element of shape etc.

A subset of is a generalized element of of shape .