<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE rdf:RDF[
	<!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'>
	<!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'>
	<!ENTITY owl 'http://www.w3.org/2002/07/owl#'>
	<!ENTITY swivt 'http://semantic-mediawiki.org/swivt/1.0#'>
	<!ENTITY wiki 'http://terminologickyportal.sk/wiki/Special:URIResolver/'>
	<!ENTITY category 'http://terminologickyportal.sk/wiki/Special:URIResolver/Category-3A'>
	<!ENTITY property 'http://terminologickyportal.sk/wiki/Special:URIResolver/Property-3A'>
	<!ENTITY wikiurl 'http://terminologickyportal.sk/wiki/'>
]>

<rdf:RDF
	xmlns:rdf="&rdf;"
	xmlns:rdfs="&rdfs;"
	xmlns:owl ="&owl;"
	xmlns:swivt="&swivt;"
	xmlns:wiki="&wiki;"
	xmlns:category="&category;"
	xmlns:property="&property;">

	<owl:Ontology rdf:about="http://terminologickyportal.sk/wiki/Special:ExportRDF/Term-C3-ADn-3Ainfimum_funkcie">
		<swivt:creationDate rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-04-20T15:07:50+02:00</swivt:creationDate>
		<owl:imports rdf:resource="http://semantic-mediawiki.org/swivt/1.0"/>
	</owl:Ontology>
	<swivt:Subject rdf:about="http://terminologickyportal.sk/wiki/Special:URIResolver/Term-C3-ADn-3Ainfimum_funkcie">
		<rdf:type rdf:resource="http://terminologickyportal.sk/wiki/Special:URIResolver/Category-3AMatematika"/>
		<rdf:type rdf:resource="http://terminologickyportal.sk/wiki/Special:URIResolver/Category-3ATerms"/>
		<rdfs:label>infimum funkcie</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="http://terminologickyportal.sk/wiki/Special:ExportRDF/Term-C3-ADn-3Ainfimum_funkcie"/>
		<swivt:page rdf:resource="http://terminologickyportal.sk/wiki/Term-C3-ADn-3Ainfimum_funkcie"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">3032</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">sk</swivt:wikiPageContentLanguage>
		<property:Belongs_to_field rdf:datatype="http://www.w3.org/2001/XMLSchema#string">matematika</property:Belongs_to_field>
		<property:Has_approval_level rdf:datatype="http://www.w3.org/2001/XMLSchema#double">0</property:Has_approval_level>
		<property:Has_definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Nech $y = f(x), x \in D(f), M \subset D(f)$, potom $$\displaystyle{\inf f(x) = \inf \{f(x); x\in D(f)\} }$$ nazývame infimom funkcie $f.$</property:Has_definition>
		<property:Has_name rdf:datatype="http://www.w3.org/2001/XMLSchema#string">infimum funkcie</property:Has_name>
		<property:Is_related_to rdf:resource="&wiki;Term-C3-ADn-3Aminimum_funkcie"/>
		<property:Is_synonymous_with rdf:resource="&wiki;Term-C3-ADn-3Anajv-C3-A4-C4-8D-C5-A1ie_doln-C3-A9_ohrani-C4-8Denie"/>
		<property:Is_taken_from rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Blaško, R: Matematická analýza 1. Žilina: EDIS 2009</property:Is_taken_from>
		<property:Display_title_of rdf:datatype="http://www.w3.org/2001/XMLSchema#string">infimum funkcie</property:Display_title_of>
		<swivt:wikiPageModificationDate rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2023-01-19T10:27:41Z</swivt:wikiPageModificationDate>
		<property:Modification_date-23aux rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2459963.9358912</property:Modification_date-23aux>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">infimum funkcie</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://terminologickyportal.sk/wiki/Special:URIResolver/Term-C3-ADn-3Adoln-C3-A1_limita">
		<rdfs:label>dolná limita</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="http://terminologickyportal.sk/wiki/Special:ExportRDF/Term-C3-ADn-3Adoln-C3-A1_limita"/>
		<swivt:page rdf:resource="http://terminologickyportal.sk/wiki/Term-C3-ADn-3Adoln-C3-A1_limita"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">3032</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">sk</swivt:wikiPageContentLanguage>
		<property:Is_related_to rdf:resource="&wiki;Term-C3-ADn-3Ainfimum_funkcie"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">dolná limita</swivt:wikiPageSortKey>
	</swivt:Subject>
	<owl:ObjectProperty rdf:about="http://terminologickyportal.sk/wiki/Special:URIResolver/Property-3AIs_related_to">
		<rdfs:label>Is related to</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="http://terminologickyportal.sk/wiki/Special:ExportRDF/Atrib-C3-BAt-3AIs_related_to"/>
		<swivt:page rdf:resource="http://terminologickyportal.sk/wiki/Atrib-C3-BAt-3AIs_related_to"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">102</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">sk</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Is related to</swivt:wikiPageSortKey>
		<swivt:type rdf:resource="http://semantic-mediawiki.org/swivt/1.0#_wpg"/>
	</owl:ObjectProperty>
	<owl:DatatypeProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#creationDate" />
	<owl:Class rdf:about="http://terminologickyportal.sk/wiki/Special:URIResolver/Category-3AMatematika" />
	<owl:Class rdf:about="http://terminologickyportal.sk/wiki/Special:URIResolver/Category-3ATerms" />
	<owl:ObjectProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#page" />
	<owl:DatatypeProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#wikiNamespace" />
	<owl:DatatypeProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#wikiPageContentLanguage" />
	<owl:DatatypeProperty rdf:about="http://terminologickyportal.sk/wiki/Special:URIResolver/Property-3ABelongs_to_field" />
	<owl:DatatypeProperty rdf:about="http://terminologickyportal.sk/wiki/Special:URIResolver/Property-3AHas_approval_level" />
	<owl:DatatypeProperty rdf:about="http://terminologickyportal.sk/wiki/Special:URIResolver/Property-3AHas_definition" />
	<owl:DatatypeProperty rdf:about="http://terminologickyportal.sk/wiki/Special:URIResolver/Property-3AHas_name" />
	<owl:ObjectProperty rdf:about="http://terminologickyportal.sk/wiki/Special:URIResolver/Property-3AIs_synonymous_with" />
	<owl:DatatypeProperty rdf:about="http://terminologickyportal.sk/wiki/Special:URIResolver/Property-3AIs_taken_from" />
	<owl:DatatypeProperty rdf:about="http://terminologickyportal.sk/wiki/Special:URIResolver/Property-3ADisplay_title_of" />
	<owl:DatatypeProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#wikiPageModificationDate" />
	<owl:DatatypeProperty rdf:about="http://terminologickyportal.sk/wiki/Special:URIResolver/Property-3AModification_date-23aux" />
	<owl:DatatypeProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#wikiPageSortKey" />
	<owl:ObjectProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#type" />
	<!-- Created by Semantic MediaWiki, https://www.semantic-mediawiki.org/ -->
</rdf:RDF>