adjective
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.