├── LICENSE.md ├── Makefile ├── README.md ├── assets └── diagrams │ ├── bijective.tikz │ ├── composition.tikz │ ├── difference.tikz │ ├── function.tikz │ ├── injective.tikz │ ├── intersection.tikz │ ├── surjective.tikz │ └── union.tikz ├── include └── preface.tex ├── settheory-config.sty ├── settheory-envs.sty ├── settheory-metadata.tex ├── settheory-print-cover.tex ├── settheory-print.tex ├── settheory-screen.tex ├── settheory-screen.xmpdata └── settheory.tex /LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/set-theory/HEAD/LICENSE.md -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/set-theory/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/set-theory/HEAD/README.md -------------------------------------------------------------------------------- /assets/diagrams/bijective.tikz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/set-theory/HEAD/assets/diagrams/bijective.tikz -------------------------------------------------------------------------------- /assets/diagrams/composition.tikz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/set-theory/HEAD/assets/diagrams/composition.tikz -------------------------------------------------------------------------------- /assets/diagrams/difference.tikz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/set-theory/HEAD/assets/diagrams/difference.tikz -------------------------------------------------------------------------------- /assets/diagrams/function.tikz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/set-theory/HEAD/assets/diagrams/function.tikz -------------------------------------------------------------------------------- /assets/diagrams/injective.tikz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/set-theory/HEAD/assets/diagrams/injective.tikz -------------------------------------------------------------------------------- /assets/diagrams/intersection.tikz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/set-theory/HEAD/assets/diagrams/intersection.tikz -------------------------------------------------------------------------------- /assets/diagrams/surjective.tikz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/set-theory/HEAD/assets/diagrams/surjective.tikz -------------------------------------------------------------------------------- /assets/diagrams/union.tikz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/set-theory/HEAD/assets/diagrams/union.tikz -------------------------------------------------------------------------------- /include/preface.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/set-theory/HEAD/include/preface.tex -------------------------------------------------------------------------------- /settheory-config.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/set-theory/HEAD/settheory-config.sty -------------------------------------------------------------------------------- /settheory-envs.sty: -------------------------------------------------------------------------------- 1 | \usepackage{\olpath/sty/open-logic-book-envs} -------------------------------------------------------------------------------- /settheory-metadata.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/set-theory/HEAD/settheory-metadata.tex -------------------------------------------------------------------------------- /settheory-print-cover.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/set-theory/HEAD/settheory-print-cover.tex -------------------------------------------------------------------------------- /settheory-print.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/set-theory/HEAD/settheory-print.tex -------------------------------------------------------------------------------- /settheory-screen.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/set-theory/HEAD/settheory-screen.tex -------------------------------------------------------------------------------- /settheory-screen.xmpdata: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/set-theory/HEAD/settheory-screen.xmpdata -------------------------------------------------------------------------------- /settheory.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/set-theory/HEAD/settheory.tex --------------------------------------------------------------------------------