binary relation
set of ordered pairs with first element in A and second element in B
perpendicularity
property of being at a right angle (90 degrees)
vicinal
stands for any two functional groups bonded to two adjacent atoms
miscibility
ability of a pair of substances to dissolve in each other in any mixing ratio
asymmetric relation
binary relation such that if A is related to B then B is not related to A
euclidean relation
relation ∼ such that, for every a, b, c, if a∼b and a∼c, then b∼c
inequality
mathematical relation comparing two different values
serial relation
binary relation such that every element of the left set has a corresponding element in the right set
function
association of a single output to each input
c-command
binary relation between nodes in a parse tree, in which a node c-commands its sister node and all of its sister’s descendants
Is-a
subsumption relationship between abstractions, especially inheritance of object-oriented programming.
converse relation
relation that occurs when the order of the elements in a given relation is switched
phonography
fundamental property of writing systems for which vocal sounds correspond to the spoken language
subclass
class whose elements are all elements of a given other class
sufficient condition
condition that guarantees that another statement holds
multiple
product of any number and an integer
simultaneity
relation between two events assumed to be happening at the same time in a frame of reference
acquaintance
person that one knows
matrix congruence
equivalence relation between matrices
semantic relation
relation between two elements with meaning such as hypernymy and holonymy
complementarity
relationship between two biochemical structures each following the lock-and-key principle
dependence relation
mathematical concept of set theory
m-command
binary relation between nodes in a syntax tree: a node 𝑋 m-commands a node 𝑌 if 𝑋’s maximal projection dominates 𝑌, but neither 𝑋 nor 𝑌 dominates the other
approximately equal to
closeness in value, meaning or effect; relation in which difference can be neglected for practical purposes
necessary condition
condition that has to be fulfilled for another statement to hold
parallelism
relation used in geometry
partial function
function whose actual domain of definition may be smaller than its input set
has-a
composition relationship in object-oriented programming
inclusion
concept that all the contents of one object are also contained within a second object
proper superset
a proper superset of a set S is a superset of S that is not equal to S
correspondence
binary relation between varieties defined by polynomials; a subvariety of the product of two varieties
subset
set whose elements are all contained in another set
incidence structure
an abstract mathematical object generalizing the properties of points and lines in the Euclidean plane
heterogeneous relation
relation whose domain and codomain don't coincide
coincidence
general phenomenon where distinct entities (such as regions of space, events, or sequences) exactly overlap in extent
happened-before
relation between the result of two events, such that if one event should happen before another event, the result must reflect that, even if those events are in reality executed out of order
is an element of
mathematical concept; set theory
subsequence
binary relation between sequences (strings)
empirical relationship
mathematical relationship or correlation based solely on observation rather than theory
epigraph
the set of points lying on or above the graph of a function
accessibility relation
modal logic relationship
upper and lower bounds
every element of a partially ordered set A which is greater (resp. lower) than every element of a subset B included in A
left-unique relation
binary relation such that every element of the left set has at most one corresponding element in the right set
proper subset
a proper subset of a set S is a subset of S that is not equal to S