The status of being cardinalitial
The number of terms that can inhabit a type; the possible values of a type.
The number of elements a given set contains.
The property of a relationship between a database table and another one, specifying whether it is one-to-one, one-to-many, many-to-one, or many-to-many.
The act of implicating.
The state of being implicated.
An implying, or that which is implied, but not expressed; an inference, or something which may fairly be understood, though not expressed in words.
The connective in propositional calculus that, when joining two predicates A and B in that order, has the meaning "if A is true, then B is true".
Logical consequence.
A possible effect or result of a decision or action.