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 .