---
tag: Q10WTNY5DE
kind: concept
name: Explicit definition
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section E
    note: adopted
    mention: wikipedia://en/76765067#HU5R
    sections: [Summary]
inventory: [8SQNTZWZXC]
---

## Summary

A definition that provides a means for replacing each occurrence of the definiendum with an appropriate instance of the definiens. Contrast implicit definition.