onis, f. (l. implicare, tedy proplétat, zamotávat) vyjadřuje provázání nebo zamotání věcí a souvislostí, které je obtížné rozplést a snadno vede k nepřehledné situaci.
V logice a matematice označuje implikaci, tedy podmínkový vztah vyjádřený větou typu „jestliže P, pak Q“, často zapisovaný symbolem → a používaný při odvozování závěrů.