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 , enabling its use in incremental constructions .