Before revision:  We formalize the concept  and prove that it is robust under an insertionoperation, thus ,  enabling its use in incremental constructions  .
After revision:  We formalize the concept and prove that it is robust under an insertionoperation, thus , therefore, enabling its use in incremental constructions .