nitc :: model $ Sys :: subset_kind

# The class kind `subset`
fun subset_kind: MClassKind do return once new MClassKind("subset", true, false, false)