About: dbkwik:resource/AS5cO0U6ZFkWb6rWYmILOQ==   Sponge Permalink

An Entity of Type : owl:Thing, within Data Space : 134.155.108.49:8890 associated with source dataset(s)

AttributesValues
rdfs:label
  • La classe quocient és una partició
rdfs:comment
  • Siguin una classe no buida i una relació d'equivalència en . Llavors, és una partició.
dcterms:subject
dbkwik:ca.demmat/p...iPageUsesTemplate
C
  • dbkwik:resource/2uGvpg1FqtOh7tAmeBd-9w==
  • dbkwik:resource/3Kma9lRUvBze6-yQMCcRWA==
  • Definició de classe d'equivalència
  • Definició de classe potència
  • Definició de classe quocient
  • Definició de conjunt buit
  • Pertinença de classes; per hipòtesi
  • Prenem les classes d'equivalència qualssevol
  • Unió de classes, definició de conjunt buit
  • Definició de classe d'equivalència; és d'equivalència, per tant és reflexiva
  • és d'equivalència
abstract
  • Siguin una classe no buida i una relació d'equivalència en . Llavors, és una partició.
Alternative Linked Data Views: ODE     Raw Data in: CXML | CSV | RDF ( N-Triples N3/Turtle JSON XML ) | OData ( Atom JSON ) | Microdata ( JSON HTML) | JSON-LD    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3217, on Linux (x86_64-pc-linux-gnu), Standard Edition
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2012 OpenLink Software