# Category:Basic concepts in set theory

Here is a list of articles in the category **Basic concepts in set theory** of the Computing portal that unifies foundations of mathematics and computations using computers.

Wikimedia Commons has media related to .Basic concepts in set theory |

This category is for the foundational concepts of naive set theory, in terms of which contemporary mathematics is typically expressed.

## Subcategories

This category has the following 3 subcategories, out of 3 total.

### P

### S

## Pages in category "Basic concepts in set theory"

The following 55 pages are in this category, out of 55 total.

### A

- Algebra of sets
*(computing)*

### B

- Bijection
*(computing)* - Bijection, injection and surjection
*(computing)*

### C

- Cartesian product
*(computing)* - Category of sets
*(computing)* - Choice function
*(computing)* - Codomain
*(computing)* - Complement (set theory)
*(computing)*

### D

- Disjoint sets
*(computing)* - Disjoint union
*(computing)* - Domain of a function
*(computing)*

### E

- Element (mathematics)
*(computing)* - Empty set
*(computing)*

### F

- Fiber (mathematics)
*(computing)* - Finite set
*(computing)* - Function (mathematics)
*(computing)* - Function composition
*(computing)*

### H

- History of the function concept
*(computing)* - Horizontal line test
*(computing)*

### I

- Identity function
*(computing)* - Image (mathematics)
*(computing)* - Inclusion map
*(computing)* - Index set
*(computing)* - Indexed family
*(computing)* - Indicator function
*(computing)* - Indicator vector
*(computing)* - Injective function
*(computing)* - Intersection
*(computing)* - Intersection (set theory)
*(computing)* - Inverse function
*(computing)*

### J

- Jouanolou's trick
*(computing)*

### K

- K-cell (mathematics)
*(computing)*

### L

- Large set (Ramsey theory)
*(computing)*

### M

- Map (mathematics)
*(computing)* - Multiset
*(computing)*

### O

- Optimal instruments
*(computing)* - Ordered pair
*(computing)*

### P

- Partition of a set
*(computing)* - Pointed set
*(computing)* - Power set
*(computing)* - Predicate (mathematical logic)
*(computing)* - Projection (set theory)
*(computing)*

### R

- Range (mathematics)
*(computing)* - Range of a function
*(computing)*

### S

- Set function
*(computing)* - Simple theorems in the algebra of sets
*(computing)* - Singleton (mathematics)
*(computing)* - Smooth maximum
*(computing)* - Subset
*(computing)* - Surjective function
*(computing)* - Symmetric difference
*(computing)*

### T

- Tuple
*(computing)*

### U

- Union (set theory)
*(computing)* - Universal set
*(computing)* - Unordered pair
*(computing)*