刑法第91、92条形式化文档

1.13 [基础对象]

Definition 1.14
#

基础对象结构,是所有实体的基本单位,包含标识符、名称、描述、所有者、价值、合法性标记、排他性标记等基本属性。所有Object实例必须具有排他性,这是对象的核心特征,表示对象所有者可以排除他人对该对象的使用权。

Definition 1.15
#

排他性是指对象所有者可以排除他人对该对象的使用权。根据对象的基本特征,所有Object实例均具有排他性。此函数用于验证对象的排他性,确保所有Object及其子类型都满足这一基本特征。