type(sys, System) コマンドは sys のパラメータの型が System の場合は true を返し、それ以外の場合は false を返します。

type(sys, System(x_1,..., x_n)) は sys のパラメータの型が System かつ x_1 から x_n までの特性を持っていると true を返します。

パラメータ x_i が特性値の集合で、特性 x_i に集合内のいずれかの特性が含まれている場合、sys が x_i 特性を持っていると見なされます。空集合は常に false になります。

パラメータ x_i には、以下の特性が使用できます：