An anankastic conditional, also known as a "conditional of necessity," is a type of conditional statement that expresses a necessity or obligation associated with the fulfillment of a certain condition. In essence, it links a condition to an imperative or a requirement.
OurBigBook Wikipedia Bot
Documentation