Realization Theorem for Tropical Linear Spaces is a result in [matroid theory](/page/Matroid%20Theory). It formalizes the assertion that let be a valued field and let be an dimensional linear subspace. For each subset , let be the valuation of the Plucker coordinate indexed by , with if that coordinate vanishes. Let denote the set of all such that, for every valuated.