In logica formale, termine di un enunciato privo di significazione compiuta; appartengono a questa categoria la copula, i connettivi logici, i quantificatori, ecc.