由叉子箭图引出的新遗传与突变不变性质

箭图的遗传性质是指被任意全子箭图限制所保持的性质。类似地，箭图的突变不变性质是指被突变所保持的性质。利用M. Warkentin所发展的一类箭图——叉子（forks），我们引入一种新的遗传且突变不变的性质。我们仅用初等方法证明：一个箭图突变等价于有限个非叉子——定义为具有有限无叉部分——即是这一新性质。此外，我们表明一个更一般的性质——具有有限预无叉部分——同样以几乎相同的方式成为一种新的遗传且突变不变性质。