I acknowledge the formal definition, but am wondering how the analogy for treewidth would be tweaked for carving width.