Anything that is unlimited by time, space, or causal dependence is necessary.

That which is unchangeable in its existence or properties.

The opposite of contingent.

In Logic, the consequent of a conditional (or hypothetical) proposition.

That which follows ‘then’ in an “if then” statement.