sofs
Functions
from_term(T) -> term()
from_term(L, T) -> term()
from_external(L, Type) -> term()
empty_set() -> term()
is_type(Atom) -> term()
set(L) -> term()
set(L, T) -> term()
from_sets(Ss) -> term()
relation(Ts) -> term()
relation(Ts, TS) -> term()
a_function(Ts) -> term()
a_function(Ts, T) -> term()
family(Ts) -> term()
family(Ts, T) -> term()
to_external(S) -> term()
type(S) -> term()
to_sets(S) -> term()
no_elements(S) -> term()
specification(Fun, S) -> term()
union(S1, S2) -> term()
intersection(S1, S2) -> term()
difference(S1, S2) -> term()
symdiff(S1, S2) -> term()
symmetric_partition(S1, S2) -> term()
product(S1, S2) -> term()
product(T) -> term()
constant_function(S, E) -> term()
is_equal(S1, S2) -> term()
is_subset(S1, S2) -> term()
is_sofs_set(S) -> term()
is_set(S) -> term()
is_empty_set(S) -> term()
is_disjoint(S1, S2) -> term()
union(Sets) -> term()
intersection(Sets) -> term()
canonical_relation(Sets) -> term()
rel2fam(R) -> term()
relation_to_family(R) -> term()
domain(R) -> term()
range(R) -> term()
field(R) -> term()
relative_product(RT) -> term()
relative_product(R1, R2) -> term()
relative_product1(R1, R2) -> term()
converse(R) -> term()
image(R, S) -> term()
inverse_image(R, S) -> term()
strict_relation(R) -> term()
weak_relation(R) -> term()
extension(R, S, E) -> term()
is_a_function(R) -> term()
restriction(Relation, Set) -> term()
drestriction(Relation, Set) -> term()
composite(Fn1, Fn2) -> term()
inverse(Fn) -> term()
restriction(I, R, S) -> term()
drestriction(I, R, S) -> term()
projection(I, Set) -> term()
substitution(I, Set) -> term()
partition(Sets) -> term()
partition(I, Set) -> term()
partition(I, R, S) -> term()
multiple_relative_product(T, R) -> term()
join(R1, I1, R2, I2) -> term()
fam2rel(F) -> term()
family_to_relation(F) -> term()
family_specification(Fun, F) -> term()
union_of_family(F) -> term()
intersection_of_family(F) -> term()
family_union(F) -> term()
family_intersection(F) -> term()
family_domain(F) -> term()
family_range(F) -> term()
family_field(F) -> term()
family_union(F1, F2) -> term()
family_intersection(F1, F2) -> term()
family_difference(F1, F2) -> term()
partition_family(I, Set) -> term()
family_projection(SetFun, F) -> term()
family_to_digraph(F) -> term()
family_to_digraph(F, Type) -> term()
digraph_to_family(G) -> term()
digraph_to_family(G, T) -> term()
View Functions
- from_term/1
- from_term/2
- from_external/2
- empty_set/0
- is_type/1
- set/1
- set/2
- from_sets/1
- relation/1
- relation/2
- a_function/1
- a_function/2
- family/1
- family/2
- to_external/1
- type/1
- to_sets/1
- no_elements/1
- specification/2
- union/2
- intersection/2
- difference/2
- symdiff/2
- symmetric_partition/2
- product/2
- product/1
- constant_function/2
- is_equal/2
- is_subset/2
- is_sofs_set/1
- is_set/1
- is_empty_set/1
- is_disjoint/2
- union/1
- intersection/1
- canonical_relation/1
- rel2fam/1
- relation_to_family/1
- domain/1
- range/1
- field/1
- relative_product/1
- relative_product/2
- relative_product1/2
- converse/1
- image/2
- inverse_image/2
- strict_relation/1
- weak_relation/1
- extension/3
- is_a_function/1
- restriction/2
- drestriction/2
- composite/2
- inverse/1
- restriction/3
- drestriction/3
- projection/2
- substitution/2
- partition/1
- partition/2
- partition/3
- multiple_relative_product/2
- join/4
- fam2rel/1
- family_to_relation/1
- family_specification/2
- union_of_family/1
- intersection_of_family/1
- family_union/1
- family_intersection/1
- family_domain/1
- family_range/1
- family_field/1
- family_union/2
- family_intersection/2
- family_difference/2
- partition_family/2
- family_projection/2
- family_to_digraph/1
- family_to_digraph/2
- digraph_to_family/1
- digraph_to_family/2