Images of a set under a relation
Last updated
Last updated
All images have the same basic type requirements, the details of which I will place in a predicate called .
Furthermore, I have chosen to extract the range of each set comprehension to its own (characteristic) predicate.
can be written when and are clear from the context.
is written in symbols as
can be written when and are clear from the context.
is written in symbols as
can be written when and are clear from the context.
is written in symbols as
can be written when and are clear from the context.
is written in symbols as
can be written when and are clear from the context.
is written in symbols as