Elementární vnoření
Elementární vnoření je matematický pojem z oblasti teorie modelů.
Definice
Elementární vnoření
Nechť A, B jsou dvě struktury téhož jazyka. Prosté zobrazení se nazývá elementární vnoření (struktury A do struktury B), je-li pro každou formuli , kde jsou všechny volné proměnné vyskytující se ve , .
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.