5 | | Let f and g be feature models, and let [[f]] (resp. [[g]]) denote the set of configurations for f (resp. g); f is a specialization of g if [[f]] is included in [[g]] ; f is a generalization of g if [[g]] is included in [[f]] ; f is a refactoring of g if [[f]] is equal to [[g]]; otherwise, f is an arbitrary edit of g. |

| 5 | Let f and g be feature models, andlet {{{[[f]]}}} (resp. {{{[[g]]}}}) denote the set of configurations for f (resp. g); |

| 6 | f is a ''specialization'' of g if {{{[[f]]}}} is included in {{{[[g]]}}} ; f is a ''generalization'' of g if {{{[[g]]}}} is included in {{{[[f]]}}} ; f is a ''refactoring'' of g if {{{[[f]]}}} is equal to {{{[[g]]}}}; otherwise, f is an arbitrary edit of g. |