Polynym Math

set comparison between two polynyms

Pgrammar ⊥ Psociology


Equality

$$A \neq B$$
A is not equal to B

Subset

$$A \not\subseteq B$$
A is not a subset of or equal to B

Superset

$$A \not\supseteq B$$
A is not a superset of or equal to B

Intersection

$$A \cap B =$$
{ }

Union

$$A \cup B =$$
{ context-free, context-sensitive, metaphysical, positivity, recursively enumerable, regular, theological }

Symmetric Difference

$$A \ominus B =$$
{ context-free, context-sensitive, metaphysical, positivity, recursively enumerable, regular, theological }

Difference

$$A - B =$$
{ context-free, context-sensitive, recursively enumerable, regular }

Difference

$$B - A =$$
{ metaphysical, positivity, theological }

Cartesian Product

$$A \times B =$$
{ (context-free, metaphysical),
(context-free, positivity),
(context-free, theological),
(context-sensitive, metaphysical),
(context-sensitive, positivity),
(context-sensitive, theological),
(recursively enumerable, metaphysical),
(recursively enumerable, positivity),
(recursively enumerable, theological),
(regular, metaphysical),
(regular, positivity),
(regular, theological) }

grammar

Source
Noam Chomsky
Area
Linguistics
Mode
type
Depth
4
User
scotty


vs.

sociology

Source
Auguste Comte
Area
Philosophy
Mode
step
Depth
3
User
scotty
4 types of grammar

3 steps of sociology
recursively enumerable
context-sensitive
context-free
regular

theological
metaphysical
positivity
© 2026 Nymology