This entry is about the notion of extension in semantics. For the notion of extension in algebra, see there.