Abstract structures (S) are created using constructors.
抽象结构（S）是使用构造子建立的。