標示型式的一般性質