Definition:Finer Subset (Order Theory)

Definition
Let $L = \struct {S, \preceq}$ be a preordered set.

Let $X, Y$ be subsets of $S$.

Then $X$ is finer (subset) than $Y$
 * $\forall x \in X: \exists y \in Y: x \preceq y$

Also See

 * Definition:Coarser Subset (Order Theory)