Definition:Extension


 * Extension of relation
 * Extension of mapping
 * Extension of operation