A property capable of being Reduced into Basic Properties. Example:

  • Being an uncle is to be a male sibling of a parent
    • Depends on being a male
    • Depends on being a sibling
    • Depends on having your sibling be a parent