[3.0.1.1] The necessity to distinguish between percolating and nonpercolating fluid regions arises from the fact that in static equilibrium the pressure can become hydrostatic only in those fluid regions that are connected (or percolating) to the sample boundary [14, 16, 15]. [3.0.1.2] Each of the two fluids consists of disjoint and pathconnected subsets (regions) . [3.0.1.3] More precisely one has
(14a) | |||
(14b) |
where the subsets are mutually disjoint, and each of them is pathconnected. [3.0.1.4] A set is called pathconnected if any two of its points can be connected by a path contained inside the set. [3.0.1.5] The sets are called mutually disjoint if and holds for all . [3.0.1.6] The integers give the total number of pathconnected subsets for water resp. oil. [3.0.1.7] Of course, these numbers change with time as do the regions .
[3.0.2.1] Now define percolating () and nonpercolating () fluid regions by classifying the subsets as to whether they have empty or nonempty intersection with the sample boundary . [3.1.0.1] More formally, define
(15a) | |||
(15b) | |||
(15c) | |||
(15d) |
so that is the union of all regions , and is the union of all regions , that have nonempty intersection with the sample boundary . [3.1.0.2] Similarly is the union of all regions that have empty intersection with , and similarly for . [3.1.0.3] In this way each point in belongs to one of four regions , . [3.1.0.4] This results in a total of four fluid phases called percolating resp. nonpercolating water, and percolating resp. nonpercolating oil. [3.1.0.5] The index will be used for the rigid matrix (=rock).