Definition:Foundational Relation