Grace/Cumulus/Set.g17

Open in Workbench Download source

Imports

Core · Algebra · Powerset · Family · Function.Image · Function.Union · Function.Projection · Relation.Algebra · Function.Space · Ordinal.Basic · Inclusion · Involution · Transposition · Tuple · Function.Triples

Declarations

Source

1-- Set theory2-- Part of Cumulus, the Grace17 mathematics library.3-- Copyright (c) 2026 Grant Passmore.4-- Released under the Apache License 2.0. See LICENSE in the repository root.5-- Authors: Grant Passmore67module Grace.Cumulus.Set8import Core9import Algebra10import Powerset11import Family12import Function.Image13import Function.Union14import Function.Projection15import Relation.Algebra16import Function.Space17import Ordinal.Basic18import Inclusion19import Involution20import Transposition21import Tuple22import Function.Triples23