En (latin ) beskriver et logisk eller faktisk avhengighetsforhold mellom to eller flere tilstander eller hendelser. Ofte betegnes én av hendelsene som og den andre som , som betyr at gyldigheten av det betingete avhenger av betingelsen.