在系统详细设计中，代表事物或属性的符号称为代码。代码设计一般要求具有通用性、可扩性、唯一性、规律性等，其中必须满足的是（）性。