fragment

subset of a logical language obtained by imposing syntactical restrictions on the language

Categories: