形式

一種給定型別的表示式。例如，所有大於 的素數都是“形式為” 的。術語“形狀為”有時也被使用。