Definition:Extension


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


 * WARNING

Do not get confused with expansion, which is a term used for a topology which is a superset of another topology.