Sub:
불_정의역,Boolean_domain =불_정의역,Boolean_domain =,Boolean_domain 불_정의역 Boolean_domain
{
불_정의역 ? 은 내생각 , chk - Boolean domain Boolean domain Boolean domain

$\displaystyle \mathbb{B}$
{false,true} 혹은 {T, F} 혹은 {0, 1} 혹은 {⊥, ⊤} 뭐 등등....

Boolean domain
참,true과 거짓,false으로 해석,interpretation되는 두 원소,element가 들어있는 집합,set. {0, 1} 또는 {False, True}.

MKLINK
불_변수,Boolean_variable =불_변수,Boolean_variable =,Boolean_variable . 불_변수 Boolean_variable
{
값,value을 Boolean_domain에서 택하는 변수,variable.
Boolean_variable
Ref.
https://planetmath.org/booleandomain

mkl Boolean_value
}// Boolean variable ... Boolean variable

Boolean_function =,Boolean_function . Boolean_function
{
Boolean function

Boolean_function
= https://en.wiktionary.org/wiki/Boolean_function
Boolean_function x 2024-04 ... https://simple.wikipedia.org/wiki/Boolean_function
Boolean_function
= https://en.wikipedia.org/wiki/Boolean_function

MKLINK
Boolean-valued_function =,Boolean-valued_function . Boolean-valued_function
{
Boolean-valued function
불-값 함수?

MKLINK 지시함수,indicator_function - 지시함수,indicator_function

....
Twins: Boolean-valued_function = https://en.wikipedia.org/wiki/Boolean-valued_function

} // Boolean-valued function ... Boolean-valued function

Up: 불_대수,Boolean_algebra 불_논리,Boolean_logic

}//"Boolean function" ... Boolean function Boolean function Boolean function

여기서 원소(entry)를 뽑는 행렬: logical_matrix = 불_행렬,Boolean_matrix
logical_matrix =,logical_matrix =,logical_matrix . logical_matrix 논리행렬 ? 논리적행렬 ? logical matrix x
불_행렬,Boolean_matrix 불_행렬,Boolean_matrix 불_행렬,Boolean_matrix =,Boolean_matrix
{
logical matrix

logical_matrix x 2023-08-28
Boolean_matrix x 2023-08-28

QQQ 이거 연결이 0 또는 1개만 있는 undirected_graph의 인접행렬,adjacency_matrix{ adjacency_matrix https://en.wikipedia.org/wiki/Adjacency_matrix } ?? chk
이진관계,binary_relation의 명시적 정의로 쓰일 수 있다. (pw)

https://oeis.org/wiki/Logical_matrix
https://mathworld.wolfram.com/LogicalMatrix.html
https://mathworld.wolfram.com/BooleanMatrix.html
https://planetmath.org/logicalmatrix

https://ko.wikipedia.org/wiki/이진_행렬

https://en.wikipedia.org/wiki/Logical_matrix

https://proofwiki.org/wiki/Definition:Logical_Matrix

Sub: irreducible_logical_matrix =,irreducible_logical_matrix . irreducible_logical_matrix {irreducible logical matrix 정사각행렬,square_matrix의 Aⁿ의 원소가 strictly_positive한 그런 n이 존재. irreducible_logical_matrix https://proofwiki.org/wiki/Definition:Irreducible_Logical_Matrix "irreducible logical matrix"}

Sub:
Redheffer_matrix =,Redheffer_matrix =,Redheffer_matrix . Redheffer_matrix
{
레드헤퍼_행렬 Redheffer matrix
Redheffer_matrix
레드헤퍼_행렬
Redheffer_matrix
https://en.wikipedia.org/wiki/Redheffer_matrix
}

logical matrix logical matrix
"logical matrix"}

https://en.wikiversity.org/wiki/Boolean_domain

https://planetmath.org/BooleanDomain

https://oeis.org/wiki/Boolean_domain

Boolean_domain
= https://en.wikipedia.org/wiki/Boolean_domain
}

MKLINK
함수,function
연산,operation
연산자,operator
피연산자,operand
공역,codomain
치역,range

domain의 다른 뜻: 영역,domain - curr. 영역,domain
{

domain_theory =,domain_theory . domain_theory (w at local) + (아주약간 내용 at VG 영역,domain 맨아래)
{
domain theory
domain theory

여기서 말하는 도메인,domain이란, https://foldoc.org/domain 에서 4.

REL
순서론,order_theory

mentioned on: denotational_semantics

domain theory domain theory
domain+theory
이론,theory

"domain theory"
}

}

정역,integral_domain - w

도메인,domain =도메인,domain =,domain . 도메인
{
도메인 네임
도메인 이름

domain_name =,domain_name . domain_name
{
domain_name?
internet_address Internet_address? 에서 // =,Internet_address Internet_address ? Internet_address ? Internet_address ? ... "인터넷 주소" 인터넷 주소 인터넷 주소 NdicT:인터넷 주소

internet URI의 일부를 이루는... (??)

도메인 네임
domain name
Up: 도메인,domain name(이름,name or 네임,name) ... 식별자,identifier??
}

domain_model

domain -> 도메인 via kornorms. checked 2023-09-28
}

mathworld 이건 도메인,domain으로 옮겨야?

https://mathworld.wolfram.com/Domain.html
https://artofproblemsolving.com/wiki/index.php/Domain

1. (함수의) 정의역
   
2. (환론,ring_theory의) domain
   
   

Up: 집합,set