前件

Hors-HSK

qián jiàn

antérieure (logique)