Polynym Math

set comparison between two polynyms

PSOLID object-oriented programming ⊥ Pmeasurement


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 =$$
{ Liskov substitution, dependency inversion, interface segregation, interval, nominal, open-closed, ordinal, ratio, single responsibility }

Symmetric Difference

$$A \ominus B =$$
{ Liskov substitution, dependency inversion, interface segregation, interval, nominal, open-closed, ordinal, ratio, single responsibility }

Difference

$$A - B =$$
{ Liskov substitution, dependency inversion, interface segregation, open-closed, single responsibility }

Difference

$$B - A =$$
{ interval, nominal, ordinal, ratio }

Cartesian Product

$$A \times B =$$
{ (Liskov substitution, interval),
(Liskov substitution, nominal),
(Liskov substitution, ordinal),
(Liskov substitution, ratio),
(dependency inversion, interval),
(dependency inversion, nominal),
(dependency inversion, ordinal),
(dependency inversion, ratio),
(interface segregation, interval),
(interface segregation, nominal),
(interface segregation, ordinal),
(interface segregation, ratio),
(open-closed, interval),
(open-closed, nominal),
(open-closed, ordinal),
(open-closed, ratio),
(single responsibility, interval),
(single responsibility, nominal),
(single responsibility, ordinal),
(single responsibility, ratio) }
Polynym
SOLID

SOLID object-oriented programming

Source
Robert C. Martin
Area
Programming
Mode
part
Depth
5
User
scotty


vs.

measurement

Source
Stanley Smith Stevens
Area
Psychology
Mode
step
Depth
4
User
scotty
5 parts of SOLID object-oriented programming

4 steps of measurement
single responsibility
open-closed
Liskov substitution
interface segregation
dependency inversion

nominal
ordinal
interval
ratio
© 2026 Nymology