Definition:Extension/Relation