Definition from Wiktionary, the free dictionary
- based on reasoning, evidence and good judgement
- properly substantiated
- (mathematics) Of a binary relation: such that every non-empty subset of the relation's domain has a minimal element with respect to the relation.
mathematics: such that every set has a minimal element
- well-founded relation (mathematics)