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