LSP meaning in Maths ?

Answer:

What is Liskov Substitution Principle mean?

Substitutability is a principle in object-oriented programming stating that, in a computer program, if S is a subtype of T, then objects of type T may be replaced with objects of type S (i.e., an object of type T may be substituted with any object of a subtype S) without altering any of the desirable properties of the program (correctness, task performed, etc.). More formally, the Liskov substitution principle (LSP) is a particular definition of a subtyping relation, called (strong) behavioral subtyping, that was initially introduced by Barbara Liskov in a 1988 conference keynote address titled Data abstraction and hierarchy. It is a semantic rather than merely syntactic relation, because it intends to guarantee semantic interoperability of types in a hierarchy, object types in particular. Barbara Liskov and Jeannette Wing described the principle succinctly in a 1994 paper as follows:

Subtype Requirement: Let ϕ ( x ) {\displaystyle \phi (x)} be a property provable about objects x {\displaystyle x} of type T. Then ϕ ( y ) {\displaystyle \phi (y)} should be true for objects y {\displaystyle y} of type S where S is a subtype of T.

In the same paper, Liskov and Wing detailed their notion of behavioral subtyping in an extension of Hoare logic, which bears a certain resemblance to Bertrand Meyer's design by contract in that it considers the interaction of subtyping with preconditions, postconditions and invariants.

reference

Full Form	Category
Language Server Protocol	Academic & Science
Language for Special Purposes	Academic & Science
Library Services Platform	Academic & Science
Language Services Provider	Academic & Science
Liberal Studies Program	Academic & Science
Language for Specific Purposes	Academic & Science
Law Science and Policy	Academic & Science
Las Piedras	Airport Code
Lesotho Special Permit	Business
Logistics Solution Provider	Business
Long Stiffener Pin	Business
Lou Scheimer Productions	Business
Logistic Service Provider	Business
LaBranche Structured Products, L.L.C.	Business
Learning Styles Profiler	Business
Last Stage Product	Business
London & Stam.	Business
Line Spectrum Pair	Chemistry
Leadership Scholarship Program	Community
Leadership Skills Profile	Community
Learning Support Program	Community
Life's Simple Pleasures	Community
Leadership Scholar Program	Community
Line Spectral Pair	Computer and Networking
Local Service Provider	Computer and Networking
List Source Package	Computer Assembly Language
Lan Support Program	Computing
List Service Provider	Computing
Line Surge Protection	Computing
Label Switch Path	Computing
Local Strategic Partnership	Computing
Library Statistics Program	Computing
Line Spectrum Pairs	Computing
Local Security Policy	Computing
Link State Packet	Computing
Low Speed Protocol	Computing
Local Support Partner	Computing
Low Speed Port	Computing
License Service Provider	Computing
Light Speed Pascal	Computing
Location Sound Processor	Computing
Limited Service Provider	Computing
Logical Standby Coordinator Process	Computing
Link State Pdu	Computing
List Processing Language File	Computing
Learning Service Provider	Computing
Logistics Service Provider	Computing
Licensing Solution Provider	Computing
Lumenswap	Cryptocurrency
Lisp Language Source Code File	File Type
Luxury Sport Package	General
Load Sensing Proportioning	General
Linear Side-Impact Protection	General
Low Sulfur Petrol	General
Long Stay Parking	General
Leaf Spring Plates	General
Lone Star Packards	General
le Baron Special	General
Launch Services Program	General
Layered service providers	General
Layered Service	General
Laser Sound Performance	General
Label Switched Paths	General
Local Support Partners	General
Light Structural Panel	General
Love Smoking People	General
Licensed Site Professionals	General
LMMS Sharing Platform	General
Limited Submission Program	General
Layer Service Provider	General
Lottery Services Portal	General
Lumpy Space Princes	General
Loma Sabino Pines	General
Laminar Soot Processes	General
Legion Saint Patrick	General
Lab Sub Plans	General
Land Stewardship Project	General
Lake Service Provider	General
Launch service provider	General
Lumpy Space Princess	General
Lipid Standardization Program	General
Localized Surface Plasmon	General
Loadable Software Part	General
Library Settlement Program	Governmental
Louisiana State Police	Governmental
Language Service Provider	Jobs
Licensed Site Professional	Jobs
Liskov Substitution Principle	Maths
Last Scope Position	Medical
Large Supernatant Protein	Medical
Left Sacrum Posterior	Medical
Local Service Partnership	Medical
Logistics Support Plan	Military and Defence
Link State Protocol	Networking
Label Switched Path	Networking
Layered Service Provider	Networking
Laser Stand Point	Physics Related
Lightest Supersymmetric Particle	Physics Related
Josefa Camejo Airport, Las Piedras, Venezuela	Regional
Linux Server Project	Softwares
Least Significant Portion	Space Science
Local Support Provider	Telecommunication