25364

@prefix azonOnto: <http://id.e-science.pl/ontologies/azonOnto#> .
@prefix collection: <http://id.e-science.pl/vocab/collection/> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix kv: <http://id.e-science.pl/vocab/kv/> .
@prefix person: <http://id.e-science.pl/vocab/person/> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix records: <http://id.e-science.pl/records/> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix unit: <http://id.e-science.pl/vocab/unit/> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

kv:25364 a skos:Concept ;
    rdfs:seeAlso "https://en.wikipedia.org/wiki/Independence_system" ;
    skos:definition "In combinatorial mathematics, an independence system S is a pair (E, I), where E is a finite set and I is a collection of subsets of E (called the independent sets) with the following properties: 1. the empty set is independent, i.e., ∅ ∈ I (alternatively, at least one subset of E is independent, i.e., I ≠ ∅.); 2. Every subset of an independent set is independent, i.e., for each Y  ⊆ X, we have X ∈ I → Y  ∈ I. This is sometimes called the hereditary property."@en,
        "W matematyce kombinatorycznej układ niezależności S jest parą (E, I), gdzie E jest zbiorem skończonym, a I jest zbiorem podzbiorów E (zwanych zestawami niezależnymi) o następujących właściwościach: 1. pusty zbiór jest niezależny, tj. ∅ ∈ I (alternatywnie, co najmniej jeden podzbiór E jest niezależny, tj. I ≠ ∅.); 2. Każdy podzbiór zbioru niezależnego jest niezależny, tj. dla każdego Y ⊆ X mamy X ∈ I → Y ∈ I."@pl ;
    skos:inScheme kv:keywordsVocabulary ;
    skos:prefLabel "independence system"@en,
        "system niezależny"@pl ;
    skos:scopeNote "matematyka kombinatoryczna"@pl .