Definition:Image (Relation Theory)/Mapping/Element/Also known as