Pages that link to "ProofWiki:Mathematicians/Writers/Thomas Scott Blyth"
The following pages link to ProofWiki:Mathematicians/Writers/Thomas Scott Blyth:
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- ProofWiki:Mathematicians/T.S. Blyth (redirect page) (← links)
- Union is Associative (← links)
- Intersection is Associative (← links)
- Definition:Set (← links)
- Definition:Element (← links)
- Definition:Empty Set (← links)
- Definition:Singleton (← links)
- Definition:Subset (← links)
- Definition:Set Union (← links)
- Definition:Set Intersection (← links)
- Definition:Set Difference (← links)
- Definition:Set Equality (← links)
- Equality of Sets (← links)
- Definition:Statement (← links)
- Definition:Proposition (← links)
- Definition:Object (← links)
- Union is Commutative (← links)
- Intersection is Commutative (← links)
- Russell's Paradox (← links)
- Definition:Ordered Pair (← links)
- Equality of Ordered Pairs (← links)
- Definition:Cartesian Product (← links)
- Definition:Relation (← links)
- Definition:Mapping (← links)
- Definition:Inverse Relation (← links)
- Definition:Equivalence Relation (← links)
- Definition:Equivalence Class (← links)
- Empty Set Subset of All (← links)
- Definition:Power Set (← links)
- Union is Idempotent (← links)
- Intersection is Idempotent (← links)
- Definition:Universal Quantifier (← links)
- Definition:Existential Quantifier (← links)
- Union Smallest (← links)
- Union with Empty Set (← links)
- Intersection with Empty Set (← links)
- Intersection Largest (← links)
- Union with Intersection (← links)
- Intersection with Union (← links)
- Union Distributes over Intersection (← links)
- Intersection Distributes over Union (← links)
- Definition:Disjoint Sets (← links)
- Definition:Partition (Set Theory) (← links)
- Definition:Relative Complement (← links)
- Relative Complement of Empty Set (← links)
- Relative Complement with Self is Empty Set (← links)
- Relative Complement of Relative Complement (← links)
- Intersection with Relative Complement (← links)
- Union with Relative Complement (← links)
- Relative Complement Partition (← links)
- Set Difference Relative Complement (← links)
- Definition:Symmetric Difference (← links)
- Symmetric Difference is Commutative (← links)
- Symmetric Difference Alternative Definition (← links)
- Intersection Distributes over Symmetric Difference (← links)
- Symmetric Difference is Associative (← links)
- Cartesian Product Null (← links)
- Cartesian Product is Anticommutative (← links)
- Cartesian Product Distributes over Union (← links)
- Cartesian Product of Unions (← links)
- Definition:Range (← links)
- Definition:Null Relation (← links)
- Definition:Diagonal Relation (← links)
- Diagonal Relation Equivalence (← links)
- Equality of Relations (← links)
- Definition:Proper Subset (← links)
- Subset of Image (← links)
- Definition:Many-to-One Relation (← links)
- Equivalence Class holds Equivalent Elements (← links)
- Equivalence Classes are Disjoint (← links)
- Definition:Quotient Set (← links)
- Relation Partitions a Set iff Equivalence (← links)
- Definition:Graph of a Mapping (← links)
- Definition:Composition of Mappings (← links)
- Equality of Mappings (← links)
- Definition:Identity Mapping (← links)
- Definition:Injection (← links)
- Definition:Left Cancellable Mapping (← links)
- Injection iff Left Cancellable (← links)
- Identity Mapping is an Injection (← links)
- Composite of Injections is an Injection (← links)
- Injection if Composite is an Injection (← links)
- Injection iff Left Inverse (← links)
- Definition:Inclusion Mapping (← links)
- Inclusion Mapping is an Injection (← links)
- Definition:Surjection (← links)
- Definition:Right Cancellable Mapping (← links)
- Identity Mapping is a Surjection (← links)
- Surjection iff Image equals Codomain (← links)
- Composite of Surjections is a Surjection (← links)
- Surjection if Composite is a Surjection (← links)
- Surjection iff Right Inverse (← links)
- Definition:Bijection (← links)
- Identity Mapping is a Bijection (← links)
- Composite of Bijections (← links)
- Inverse of Composite Bijection (← links)
- Definition:Set Equivalence (← links)
- Mapping Image of Union (← links)
- Mapping Image of Intersection (← links)
- Injection Image of Intersections (← links)
- Mapping Preimage of Union (← links)
- Mapping Preimage of Intersection (← links)
- Projections are Surjections (← links)
- Definition:Quotient Mapping (← links)
- Quotient Mapping is Surjection (← links)
- Definition:Induced Equivalence (← links)
- Renaming Mapping is Well-Defined (← links)
- Renaming Mapping is a Bijection (← links)
- Quotient Theorem for Sets (← links)
- Mapping Induced on Power Set by Relation (← links)
- Mapping Induced on Power Set by Inverse Relation (← links)
- Union of Power Sets (← links)
- Intersection of Power Sets (← links)
- Cantor-Bernstein-Schroeder Theorem (← links)
- Definition:Dominate (Set Theory) (← links)
- Definition:Ordering (← links)
- Definition:Poset (← links)
- Definition:Order Isomorphism (← links)
- Power Set is Complete Lattice (← links)
- Definition:Totally Ordered Set (← links)
- Definition:Chain (Set Theory) (← links)
- Definition:Well-Ordered Set (← links)
- Definition:Zero (Algebra) (← links)
- Definition:Cardinality (← links)
- Cardinality of Empty Set (← links)
- Definition:Sequence (← links)
- Definition:Ordered n-Tuple (← links)
- Definition:Operation (← links)
- Definition:Number (← links)
- Definition:Absolute Value (← links)
- Divides is Partial Ordering on Positive Integers (← links)
- Definition:Real Interval (← links)
- Definition:Floor Function (← links)
- Definition:Cartesian Coordinates (← links)
- Definition:Characteristic Function (← links)
- Composition of Mappings Associative (← links)
- Definition:Residue Class (← links)
- Subset Relation is Ordering (← links)
- ProofWiki:Books (← links)
- Definition:Preordering (← links)
- Definition:Reflexive Relation (← links)
- Definition:Symmetric Relation (← links)
- Definition:Antisymmetric Relation (← links)
- Definition:Transitive Relation (← links)
- Definition:Strict Ordering (← links)
- Definition:Congruence (Number Theory) (← links)
- Congruence (Number Theory) is an Equivalence (← links)
- Definition:Induced Mapping (← links)
- Condition for Composite Mapping on Left (← links)
- Condition for Composite Mapping on Right (← links)
- ProofWiki:Books/T.S. Blyth/Set Theory and Abstract Algebra (← links)
- Set Intersection Preserves Subsets (Binary Case) (← links)
- Set Union Preserves Subsets (← links)
- Complements Invert Subsets (← links)
- Intersection with Subset is Subset (← links)
- Union with Superset is Superset (← links)
- Intersection of Complement with Subset is Empty (← links)
- Complement Union with Superset is Universe (← links)
- Set Difference is Not Associative (← links)
- Cardinality of Set Union (← links)
- Definition:Codomain (Set Theory) (← links)
- Mapping Image of Set Difference (← links)
- Definition:Renaming Mapping (← links)
- Diagonal Relation is Functional (← links)
- Absolute Value is Functional (← links)
- Subset of Preimage (← links)
- Composition of Induced Mappings (← links)
- Preimage of Image of Injection (← links)
- Image of Preimage of Surjection (← links)
- Bijection iff Left and Right Cancellable (← links)
- Induced Equivalence is an Equivalence Relation (← links)
- Existence of Renaming Mapping (← links)
- Symmetric and Transitive therefore Reflexive (← links)
- Definition:Hasse Diagram (← links)
- Order Isomorphism is Surjective Order Monomorphism (← links)
- Diagonal Relation is Ordering and Equivalence (← links)
- Definition:Cardinal (← links)
- Cantor-Bernstein-Schroeder Theorem/Proof 3 (← links)
- Dominates is an Ordering (← links)
- Well-Ordering is Total Ordering (← links)
- Definition:Commutative Diagram (← links)
- Subset of Domain is Subset of Preimage of Image (← links)
- Well-Ordering Theorem (← links)
- Cardinals are Totally Ordered (← links)
- Definition:Supremum/Ordered Set (← links)
- Definition:Upper Bound/Ordered Set (← links)
- Definition:Lower Bound/Ordered Set (← links)
- Definition:Infimum/Ordered Set (← links)
- Definition:Increasing/Mapping (← links)
- Definition:Strictly Increasing/Mapping (← links)
- Definition:Decreasing/Mapping (← links)
- Definition:Restriction/Mapping (← links)
- Cartesian Product of Intersections/Corollary 2 (← links)
- Cartesian Product of Intersections/Corollary 1 (← links)
- Cardinality of Power Set/Proof 1 (← links)
- Definition:Codomain (Set Theory)/Mapping (← links)
- Definition:Domain (Set Theory)/Relation (← links)
- Definition:Domain (Set Theory)/Mapping (← links)
- Definition:Operation/Binary Operation (← links)
- De Morgan's Laws (Set Theory)/Relative Complement (← links)
- Mapping Image of Set Difference/Corollary 2 (← links)
- Mapping Preimage of Set Difference/Corollary 2 (← links)
- Surjection iff Right Inverse/Proof 2 (← links)
- Injection iff Left Inverse/Proof 2 (← links)
- Definition:Image/Relation (← links)
- Definition:Image/Mapping/Element (← links)
- Definition:Image/Mapping/Subset (← links)
- Definition:Greatest/Ordered Set (← links)
- Definition:Smallest/Ordered Set (← links)
- Bijection iff Left and Right Inverse/Proof 1 (← links)
- Bijection iff Left and Right Inverse/Proof 2 (← links)
- Left and Right Inverses of Mapping are Inverse Mapping/Proof 1 (← links)
- Surjection iff Right Cancellable/Proof 2 (← links)
- Definition:Preimage/Relation/Relation (← links)
- Definition:Preimage/Mapping/Subset (← links)
- Definition:Image/Relation/Relation (← links)
- Subset of Codomain is Superset of Image of Preimage (← links)
- Definition:Projection (Mapping Theory)/First Projection (← links)
- Definition:Projection (Mapping Theory)/Second Projection (← links)
- Definition:Lattice/Ordered Set (← links)
- Order Isomorphism iff Strictly Increasing Surjection (← links)
- Definition:Indexing Set/Family (← links)
- Definition:Indexing Set/Term (← links)
- Definition:Pairwise Disjoint/Family (← links)
- ProofWiki:Mathematicians/Writers (transclusion) (← links)
- ProofWiki:Mathematicians/Thomas Scott Blyth (redirect page) (← links)
- ProofWiki:Mathematicians/Writers/B (transclusion) (← links)
