Relational structure


Definition

ProofWiki