每一代码对其所代表的事物的名称、属性和状态都必须具有（）性。