These notes present an investigation of a condition similar to Euclid's parallel axiom for subsets of finite sets.