{{indexmenu_n>15730}}
====== forall1 ======

<wrap mml-desc>not (forall s in S where f(s) is in T)</wrap>

<wrap mml-tag>{{mml>}}</wrap>

<wrap mml-author>Author: Design Science, Inc. (E. Cannon, E. Tabacman, R.Miner)</wrap>