# Forced-Choice Models (non-feasible outside option)¶

## Utility Maximization¶

### Strict¶

A general choice dataset \(\mathcal{D}\) on a set of alternatives \(X\) is explained by
**(strict) utility maximization** if there is a strict linear
order \(\succ\) on \(X\) such that for every menu \(A\) in \(\mathcal{D}\)

### Non-strict¶

A general choice dataset \(\mathcal{D}\) on a set of alternatives \(X\) is explained by
**(non-strict) utility maximization** if there is a weak order
\(\succsim\) on \(X\) such that for every menu \(A\) in \(\mathcal{D}\)

**and**

Tip

When analysing other models that generalize utility maximization/rational choice, Prest v0.9.11 only considers instances of the more general models that do not overlap with those covered by the above two variants of utility maximization. It is therefore recommended that both of them always be included in all model-estimation tasks.

## Incomplete-Preference Maximization: Undominated Choice¶

### Strict¶

A general choice dataset on a set of alternatives \(X\) is explained by
**(strict) undominated choice** if there is a strict
partial order \(\succ\) on \(X\) such that for every menu \(A\) in \(\mathcal{D}\)

### Non-strict¶

A general choice dataset on a set of alternatives \(X\) is explained by
**(non-strict) undominated choice** if there is an incomplete preorder \(\succsim\) on \(X\) such
that for every menu \(A\) in \(\mathcal{D}\)

**and**

## Sequentially Rationalizable Choice¶

A general choice dataset \(\mathcal{D}\) on a set of alternatives \(X\) is explained by
**sequentially rationalizable choice** if there exist
two strict partial orders \(\succ_1\), \(\succ_2\) on \(X\) such that for every menu
\(A\) in \(\mathcal{D}\)

where, for any \(A\subseteq X\),

Tip

Prest v0.9.11 supports only a **Pass/Fail** test for this model, with the corresponding output being “0” and “>0”, respectively.

## Top-Two Choice¶

A general choice dataset \(\mathcal{D}\) on a set of alternatives \(X\) is explained by
**top-two choice** if there exists a strict linear order \(\succ\) on \(X\)
such that for every menu \(A\) in \(\mathcal{D}\)

## Incomplete-Preference Maximization: Partially Dominant Choice (forced)¶

A general choice dataset \(\mathcal{D}\) on a set of alternatives \(X\) is explained by
**partially dominant choice (forced)** if there exists a strict partial order \(\succ\) on \(X\)
such that for every menu \(A\) in \(\mathcal{D}\)