About: Algebra of sets

Property	Value
dbo:description	druh algebraické struktury (cs) mathematische Struktur (de) mathematical identities and relationships involving sets (en) Hukum aljabar (in) Opérations sur les parties d'un ensemble (fr) reguły działań na zbiorach; dział teorii mnogości i przez to podstaw matematyki (pl) العمليات على المجموعات (ar) đồng nhất thức và mối quan hệ giữa các tập hợp (vi)
dbo:wikiPageExternalLink	http://www.apronus.com/provenmath/btheorems.htm https://books.google.com/books%3Fid=3-nrPB7BQKMC&pg=PA16%23v=onepage&q&f=false https://books.google.com/books%3Fid=UfdossHPlkgC&pg=PA17-IA8&dq=%22algebra+of+sets%22&hl=en&ei=k8-RTdXoF4K2tgfM-p1v&sa=X&oi=book_result&ct=result&resnum=3&ved=0CDYQ6AEwAg%23v=onepage&q=%22algebra%20of%20sets%22&f=false
dbo:wikiPageWikiLink	dbr:Idempotent dbr:Mathematics dbr:Lattice_(order) dbr:Field_of_sets dbr:Absorption_law dbr:Binary_relation dbr:Axiom dbr:Addition dbr:Naive_set_theory dbr:Universe_(mathematics) dbr:Binary_operation dbr:Commutative_property dbr:Complement_(set_theory) dbr:Image_(mathematics) dbr:Σ-algebra dbr:List_of_set_identities_and_relations dbr:Multiplication dbr:Set_(mathematics) dbr:Associative_property dbr:De_Morgan's_laws dbr:Intersection_(set_theory) dbr:Subset dbr:Topological_space dbr:Union_(set_theory) dbr:Empty_set dbr:Boolean_algebra_(structure) dbr:Inverse_element dbr:Operation_(mathematics) dbr:Power_set dbr:Transitive_relation dbr:Distributive_property dbr:Partial_order dbr:Antisymmetric_relation dbr:Identity_(mathematics) dbr:Reflexive_relation dbr:Equality_(mathematics) dbr:Involution_(mathematics) dbr:Identity_element dbr:Linear_logic dbr:Unary_operation dbr:Mathematical_structure dbc:Basic_concepts_in_set_theory dbc:Operations_on_sets dbr:Axiomatic_set_theory dbr:Associativity dbr:Greatest_element dbr:Commutativity
dbp:date	August 2013 (en)
dbp:reason	Explain which set operator corresponds to which linear-logic operator. Linear logic seems to have much more operators than a boolean algebra, but the section 'Algebraic semantics' of the 'linear logic' article is still unwritten. (en)
dbp:wikiPageUsesTemplate	dbt:Mathematical_logic dbt:Set_theory dbt:About dbt:Authority_control dbt:Clarify dbt:ISBN dbt:More_footnotes_needed dbt:Reflist dbt:Refn dbt:See_also dbt:Short_description dbt:Slink dbt:Tmath
dct:subject	dbc:Basic_concepts_in_set_theory dbc:Operations_on_sets
rdf:type	owl:Thing owl:Thing
rdfs:label	Algebra of sets (en) Množinová algebra (cs) Álgebra de conjuntos (es) Multzoen arteko aljebra (eu) Algèbre des parties d'un ensemble (fr) Aljabar himpunan (in) 集合の代数学 (ja) Algebra van verzamelingen (nl) Алгебра множин (uk) Mängdalgebra (sv) 集合代数 (zh)
rdfs:seeAlso	dbr:Duality_(order_theory)
owl:sameAs	freebase:Algebra of sets yago-res:Algebra of sets wikidata:Algebra of sets dbpedia-es:Algebra of sets dbpedia-nl:Algebra of sets dbpedia-fr:Algebra of sets dbpedia-ja:Algebra of sets dbpedia-zh:Algebra of sets dbpedia-sv:Algebra of sets dbpedia-vi:Algebra of sets dbpedia-id:Algebra of sets dbpedia-cs:Algebra of sets dbpedia-eu:Algebra of sets dbpedia-fa:Algebra of sets dbpedia-si:Algebra of sets dbpedia-sk:Algebra of sets dbpedia-uk:Algebra of sets dbpedia-global:Algebra of sets
prov:wasDerivedFrom	wikipedia-en:Algebra_of_sets?oldid=1226111203&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Algebra_of_sets
is dbo:wikiPageRedirects of	dbr:Duality_principle_for_sets dbr:Set_operation_(Boolean) dbr:Algebra_of_Sets dbr:Boolean_set_operation dbr:Operation_(set_theory) dbr:List_of_set_relations dbr:The_algebra_of_sets dbr:Set-theoretic_operation dbr:Set-theoretic_operations dbr:Set_operations_(Boolean) dbr:Set_operations_(mathematics)
is dbo:wikiPageWikiLink of	dbr:Duality_principle_for_sets dbr:Functional_completeness dbr:List_of_Boolean_algebra_topics dbr:Further_Mathematics dbr:Lewis's_triviality_result dbr:Closure_(mathematics) dbr:Ba_space dbr:Set_function dbr:Binary_relation dbr:George_Boole dbr:Naive_set_theory dbr:Zermelo–Fraenkel_set_theory dbr:Complement_(set_theory) dbr:List_of_set_identities_and_relations dbr:Point_(geometry) dbr:Set_(mathematics) dbr:Boolean_algebra_(structure) dbr:Boolean_function dbr:Boolean_algebra dbr:Fault_tree_analysis dbr:Set_(abstract_data_type) dbr:Regular_language dbr:List_of_set_theory_topics dbr:Distributive_property dbr:Morse–Kelley_set_theory dbr:Complete_Boolean_algebra dbr:Family_of_sets dbr:Relation_(mathematics) dbr:Symmetric_difference dbr:Boolean_algebras_canonically_defined dbr:Boolean_hierarchy dbr:List_of_mathematical_logic_topics dbr:List_of_mathematical_proofs dbr:Simple_theorems_in_the_algebra_of_sets dbr:CDuce dbr:Set_operation_(Boolean) dbr:Algebra_of_Sets dbr:Goodman-Nguyen-Van_Fraassen_algebra dbr:Boolean_set_operation dbr:Operation_(set_theory) dbr:List_of_set_relations dbr:The_algebra_of_sets dbr:Set-theoretic_operation dbr:Set-theoretic_operations dbr:Set_operations_(Boolean) dbr:Set_operations_(mathematics)
is rdfs:seeAlso of	dbr:Curved_structures dbr:List_of_set_identities_and_relations
is foaf:primaryTopic of	wikipedia-en:Algebra_of_sets