合式
ごうしき formal regular valid categorical