Definition: [^2] > Any characteristic that applies to a given [[Set|set]]. $p: X \rightarrow {true, false}$ Other names: - slots [^3] [^2]: https://en.wikipedia.org/wiki/Property_(mathematics) [^3]: https://protege.stanford.edu/publications/ontology_development/ontology101.pdf